835 articles – 1515 references  [version française]
.:. Browse > Document list .:.
2350 documents ordered by :
First Previous ... 211 - 212 - 213 - 214 - 215 - 216 - 217 ... Next Last
Exploratory Visualization for Association Rule Rummaging
Blanchard J., Guillet F., Briand H.
Dans Proceedings of 4th International Workshop on Multimedia Data Mining, MDM/KDD2003, in conjunction with KDD'2003 - 4th International Workshop on Multimedia Data Mining, MDM/KDD2003, in conjunction with KDD'2003, États-Unis (2003) [hal-00462279 - version 1]
A User-driven and Quality oriented Visualization for Mining Association Rules
Blanchard J., Guillet F., Briand H.
Dans Proceedings of 3rd IEEE International Conference on Data Mining, IEEE-ICDM'2003 - 3rd IEEE International Conference on Data Mining, IEEE-ICDM'2003, États-Unis (2003) [hal-00461397 - version 1]
Highly Interactive Data Mining with Virtual Reality
Blanchard J., Guillet F., Poulet F., Kuntz P.
Dans Proceedings of the 5th Virtual Reality International Conference (VRIC'2003) - 5th Virtual Reality International Conference (VRIC'2003), France (2003) [hal-00461392 - version 1]
A virtual Reality Environment for Knowledge Mining
Blanchard J., Guillet F., Briand H.
Dans Proceedings of 11th Mini-Euro Conference, Human Centered Processes, CP' 2003: Distributed Decision Making and Man-Machine Cooperation - 11th Mini-Euro Conference, Human Centered Processes, CP' 2003: Distributed Decision Making and Man-Machine Cooperation, Luxembourg (2003) [hal-00461387 - version 1]
Méthode B
Bert D., Habrias H., Viguie Donzeau-Gouge V.
(2003) 420 [hal-00458201 - version 1]
Intégration de données formelles dans les diagrammes d'états d'UML
Attiogbé C., Poizat P., Salaün G.
Dans Actes d'AFADL'2003 - Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'2003, France (2003) [hal-00458199 - version 1]
Formalising an Integrated Language in PVS
Salaün G., Attiogbé C.
Dans Proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003 - 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapour (2003) [hal-00458175 - version 1]
Some reflections on the teaching of Formal Methods
Habrias H., Faucou S.
Dans Proceedings of the Teaching Formal Methods Workshop, TFM 2003 - Teaching Formal Methods, Workshop, TFM 2003, Royaume-Uni (2003) [hal-00458173 - version 1]
Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams
Attiogbé C., Poizat P., Salaün G.
Dans Proceedings of the 8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'03 - (8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'03), France (2003) [hal-00458164 - version 1]
Integration of Formal Datatypes within State Diagrams
Attiogbé C., Poizat P., Salaün G.
Dans Proceedings of the 6th International Conference, FASE 2003 - Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Italie (2003) [hal-00458163 - version 1]