Skip to Main content Skip to Navigation

inria-00610934v1  Journal articles
Jianneng CaoPanagiotis KarrasChedy RaïssiKian-Lee Tan. ρ-uncertainty: Inference-Proof Transaction Anonymization
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2010, 3 (1), pp.1033-1044
inria-00578884v1  Conference papers
Ryma AbassiFlorent JacquemardMichaël RusinowitchSihem Guemara El Fatmi. XML Access Control: from XACML to Annotated Schemas
Second International Conference on Communications and Networking (ComNet), Nov 2010, Tozeur, Tunisia. pp.1-8, ⟨10.1109/COMNET.2010.5699810⟩
tel-01748567v2  Theses
Nicolas Padoy. Workflow and Activity Modeling for Monitoring Surgical Procedures
Human-Computer Interaction [cs.HC]. Université Henri Poincaré - Nancy 1; Technische Universität München, 2010. English. ⟨NNT : 2010NAN10025⟩
inria-00526006v1  Conference papers
Cristian PopiOlivier Festor. WiMFlow: a distributed, self-adaptive Architecture for Flow Monitoring in Wireless Mesh Networks
2010 IEEE/IFIP Network Operations and Management Symposium, Apr 2010, Osaka, Japan
hal-00608016v1  Conference papers
Amedeo Napoli. Why and How Knowledge Discovery Can Be Useful for Solving Problems with CBR
Case-Based Reasoning. Research and Development, 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings, 2010, Alessandria (Italie), France. pp.12-19
inria-00549218v1  Conference papers
Carolina SaavedraLaurent Bougrain. Wavelet denoising for P300 single-trial detection
Proccedings of the 5th french conference on computational neuroscience - Neurocomp'10, Oct 2010, Lyon, France. pp.227-231
inria-00491109v1  Conference papers
Joerg HoffmannAlexander Koller. Waking Up a Sleeping Rabbit: On Natural-Language Sentence Generation with FF
20th International Conference on Automated Planning and Scheduling (ICAPS'10), Aug 2010, Toronto, Canada
halshs-00687176v1  Journal articles
Kiyoshi HondaTatsuya KitamuraHironori TakemotoSeiji AdachiParham Mokhtari et al.  Visualization of hypopharyngeal cavities and vocal tract acoustic modeling
Computer Methods in Biomechanics and Biomedical Engineering, Taylor & Francis, 2010, 13 (4), pp.443-453
inria-00551505v1  Conference papers
Nicolas NavetBertrand DelordMarkus Baumeister. Virtualization in Automotive Embedded Systems : an Outlook
RTS Embedded Systems 2010, Mar 2010, Paris, France
inria-00601729v1  Book sections
Matthäus ChajdasChristian EisenacherSylvain Lefebvre. Virtual Texture Mapping 101
Wolfgang Engel. GPU Pro, AK Peters, 2010, 978-1-56881-472-8
inria-00544976v1  Conference papers
Abdelkader LahmadiOlivier Festor. VeTo: An Exploit Prevention Language from Known Vulnerabilities in SIP Services
IEEE/IFIP Network Operations and Management Symposium - NOMS 2010, Apr 2010, Osaka, Japan. pp.216-223, ⟨10.1109/NOMS.2010.5488464⟩
inria-00533277v1  Journal articles
Frédéric FondementP-A. MullerBrice WittmannFabrice AmbertFabrice Bouquet et al.  VETESS : IDM, Test et SysML
Génie logiciel, C & S, 2010, pp.43--48
inria-00432702v1  Conference papers
Armelle BrunAhmad HamadOlivier BuffetAnne Boyer. Vers l'utilisation de relations de préférence pour le filtrage collaboratif
17eme congrès francophone Reconnaissance des Formes et Intelligence Artificielle - RFIA 2010, Université de Caen Basse-Normandie / GREYC UMR 6072, Jan 2010, Caen, France
inria-00545488v1  Conference papers
Romain André-LovichiKamel SmaïliDavid Langlois. Utilisation de graphes sémantiques pour l'extraction et la traduction des idées essentielles d'un texte en langue étrangère
10ième Conférence Internationale Francophone sur l'Extraction et la Gestion des Connaissances - EGC 2010, Jan 2010, Hammamet, Tunisie. pp.687-688
inria-00541613v1  Conference papers
Julien DormoyOlga KouchnarenkoArnaud Lanoix. Using Temporal Logic for Dynamic Reconfigurations of Components
7th International Workshop on Formal Aspects of Component Software - FACS'2010, Oct 2010, Guimaraes, Portugal
inria-00525791v1  Conference papers
Alain GiorgettiAhmed HammadBruno Tatibouët. Using SysML for Smart Surface Modeling
dMEMS'10, 1st workshop on design, control and software implementation for distributed MEMS, Jun 2010, Besançon, France. pp.100--107
inria-00516725v1  Conference papers
Santosh K.C.Laurent WendlingBart Lamiroy. Using Spatial Relations for Graphical Symbol Description
20th International Conference on Pattern Recognition - ICPR 2010, Aug 2010, Istanbul, Turkey. pp.2041 - 2044, ⟨10.1109/ICPR.2010.503⟩
hal-00545494v1  Conference papers
Bruno Woltzenlogel PaleoEkaterina Lebedeva. Using Proofs to Compute Implicatures [Abstract]
Computability in Europe, Jun 2010, Ponta Delgada, Portugal
lirmm-00531802v1  Conference papers
Amine Mohamed Rouane HaceneMarianne HuchardAmedeo NapoliPetko Valtchev. Using Formal Concept Analysis for Discovering Knowledge Patterns
CLA: Concept Lattices and their Applications, Oct 2010, Sevilla, Spain. pp.223-234
inria-00545545v1  Conference papers
Nizar MessaiMarie-Dominique DevignesAmedeo NapoliMalika Smaïl-Tabbone. Using Domain Knowledge to Guide Lattice-based Complex Data Exploration
19th European Conference on Artificial Intelligence - ECAI 2010, Aug 2010, Lisbon, Portugal. pp.847--852, ⟨10.3233/978-1-60750-606-5-847⟩
inria-00502899v1  Conference papers
Thorsten KleinjungLucas NussbaumEmmanuel Thomé. Using a grid platform for solving large sparse linear systems over GF(2)
11th ACM/IEEE International Conference on Grid Computing (Grid 2010), Oct 2010, Brussels, Belgium. ⟨10.1109/GRID.2010.5697952⟩
inria-00516724v1  Book sections
Santosh K.C.Laurent WendlingBart Lamiroy. Unified Pairwise Spatial Relations: An Application to Graphical Symbol Retrieval
Jean-Marc Ogier, Wenyin Liu and Josep Lladós. Graphics Recognition. Achievements, Challenges, and Evolution, 6020, Springer Berlin / Heidelberg, pp.163-174, 2010, Lecture Notes in Computer Science, 978-3-642-13728-0. ⟨10.1007/978-3-642-13728-0_15⟩
hal-00530350v1  Conference papers
Adrian CaciulaRoméo CourbisVioleta FeleaPierre-Cyrille HeamRasvan Ionescu. Une approche parallèle et distribuée pour la complétion d'automates d'arbre
10es Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2010, Jun 2010, Poitiers, France. pp.43
hal-00498545v1  Conference papers
Corinne GracAgnès BraudFlorence Le BerMichèle Trémolières. Un système d'information pour le suivi et l'évaluation de la qualité des cours d'eau
Actes du 3ème atelier " Systèmes d'Information et de Décision pour l'Environnement" - SIDE 2010 - Congrès Inforsid, 2010, Marseille, France. pp.12--21