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
...
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-00537988v1  Journal articles
David RitchieVishwesh Venkatraman. Ultra-fast FFT protein docking on graphics processors
Bioinformatics, Oxford University Press (OUP), 2010, 26 (19), pp.2398-2405. ⟨10.1093/bioinformatics/btq444⟩
inria-00600213v1  Conference papers
Mehdi KaytoueZainab AssaghirNizar MessaiAmedeo Napoli. Two Complementary Classification Methods for Designing a Concept Lattice from Interval Data.
Foundations of Information and Knowledge Systems, 6th International Symposium, Feb 2010, Sofia, Bulgaria. pp.345-362, ⟨10.1007/978-3-642-11829-6_22⟩
...
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-00544646v1  Conference papers
Luca SantinelliLiliana Cucu-Grosjean. Towards Probabilistic Real-Time Calculus
the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems(CRTS 2010), Enrico Bini and Giuseppe Lipari, Dec 2010, San Diego, United States
inria-00523496v1  Conference papers
Armelle BrunAhmad HamadOlivier BuffetAnne Boyer. Towards Preference Relations in Recommender Systems
Workshop on Preference Learning (PL2010) in European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases - ECML-PKDD, Eyke Hüllermeier and Johannes Fürnkranz, Sep 2010, Barcelona, Spain
inria-00544692v1  Conference papers
Dorin MaximLiliana Cucu-Grosjean. Towards optimal priority assignment for probabilistic CAN-based systems
WIP session of the 8th IEEE International Workshop on Factory Communication Systems - WFCS 2010, May 2010, Nancy, France. pp.215--218, ⟨10.1109/WFCS.2010.5548602⟩
...
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
hal-00525899v1  Conference papers
Laurent PlagneWilfried KirschenmannStéphane Vialle. Toward a Multi-Target Linear Algebra Library for GPUs and Multicore CPUs
SIAM Conference on Parallel Processing for Scientific Computing (PP10), Feb 2010, Seattle, Washington, United States. pp.MS55
...
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-00552037v1  Conference papers
Francisco DuránManuel RoldanJean-Christophe BachEmilie BallandMark van den Brand et al.  The Third Rewrite Engines Competition
8th International Workshop on Rewriting Logic and its Applications - WRLA 2010, Mar 2010, Paphos, Cyprus. pp.243-261, ⟨10.1007/978-3-642-16310-4_16⟩
...
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