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
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
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-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⟩
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-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-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
inria-00506094v1  Conference papers
Julien CojanJean Lieber. Un algorithme d'adaptation avec des cas exprimés dans la logique de descriptions ALC
18ème Atelier « Raisonnement à Partir de Cas » RàPC 2010, Jun 2010, Strasbourg, France. pp.37-48
inria-00486749v1  Conference papers
Srikrishna BhatMarie-Odile BergerGilles SimonFrédéric Sur. Transitive Closure based visual words for point matching in video sequence
20th International Conference on Pattern Recognition - ICPR 2010, Aug 2010, Istanbul, Turkey
hal-01586549v1  Journal articles
Mourad AbbasKamel SmaïliDaoud Berkani. TR-Classifier and kNN Evaluation for Topic Identification tasks
International Journal on Information and Communication Technologies, Serials Publications, 2010, 3 (3), pp.10
inria-00526782v1  Conference papers
Asterios ToutiosUtpala MustiSlim OuniVincent ColotteBrigitte Wrobel-Dautcourt et al.  Towards a True Acoustic-Visual Speech Synthesis
9th International Conference on Auditory-Visual Speech Processing - AVSP2010, Sep 2010, Hakone, Kanagawa, Japan. pp.POS1-8
inria-00482890v1  Conference papers
El-Ghali LazrakMarc BenoîtJean-Francois Mari. Time-Space Dependencies in Land-Use Successions at Agricultural Landscape Scales
International Conference on Integrative Landscape Modelling, UMR LISAH, Feb 2010, Montpellier, France
inria-00502886v1  Conference papers
Lucas NussbaumStefano Zacchiroli. The Ultimate Debian Database: Consolidating Bazaar Metadata for Quality Assurance and Data Mining
7th IEEE Working Conference on Mining Software Repositories (MSR'2010), May 2010, Cape Town, South Africa
inria-00551504v1  Conference papers
Marc BoyerNicolas NavetXavier OliveEric Thierry. The PEGASE project: precise and scalable temporal analysis for aerospace communication systems with Network Calculus
4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISOLA 2010, Oct 2010, Heraclion, Greece
inria-00600232v1  Conference papers
Mehdi KaytoueFlorent MarcuolaAmedeo NapoliLaszlo SzathmaryJean Villerd. The Coron System
8th International Conference on Formal Concept Analsis - ICFCA 2010, Mar 2010, Agadir, Morocco. pp.55--58
hal-00509030v1  Conference papers
Valmi Dufour-LussierJean LieberEmmanuel NauerYannick Toussaint. Text adaptation using formal concept analysis
18th International Conference on Case-Based Reasoning - ICCBR 2010, Jul 2010, Alessandria, Italy. pp.96-110, ⟨10.1007/978-3-642-14274-1_9⟩
inria-00502839v1  Conference papers
Martin QuinsonLaurent BobelinFrédéric Suter. Synthesizing Generic Experimental Environments for Simulation
Fifth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, Nov 2010, Fukuoka, Japan
inria-00403107v1  Journal articles
Nicolas P. RougierAxel Hutt. Synchronous and Asynchronous Evaluation of Dynamic Neural Fields
Journal of Difference Equations and Applications, Taylor & Francis, 2010, In press, In press (In press), ⟨10.1080/10236190903051575⟩
inria-00498744v1  Conference papers
Clement Houtmann. Superdeduction in Lambda-bar-mu-mu-tilde
Classical Logic and Computation 2010, Aug 2010, Brno, Czech Republic. pp.33-43, ⟨10.4204/EPTCS.47.5⟩