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
...
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-00533281v1  Conference papers
Fabrice BouquetPierre-Christophe BuéJacques JulliandPierre-Alain Masson. Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests
A-MOST'10, 6th int. Workshop on Advances in Model Based Testing, in conjunction with ICST'10, Apr 2010, Paris, France. pp.54--61, ⟨10.1109/ICSTW.2010.47⟩
hal-00435241v1  Conference papers
Olivier BuffetLiliana CucuLhassane IdoumgharRené Schott. Tabu search type algorithms for the multiprocessor scheduling problem
10th IASTED International Conference on Artificial Intelligence and Applications - AIA 2010, Feb 2010, Innsbruck, Austria
inria-00526663v1  Conference papers
Alexandre BlanschéJulien CojanValmi Dufour-LussierJean LieberPascal Molli et al.  TAAABLE 3: Adaptation of ingredient quantities and of textual preparations
18h International Conference on Case-Based Reasoning - ICCBR 2010, "Computer Cooking Contest" Workshop Proceedings, Jul 2010, Alessandria, Italy
...
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-00524535v1  Conference papers
Hanifa BouchenebAbdessamad ImineManal Najem. Symbolic Model-Checking of Optimistic Replication Algorithms
8th International Conference on Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.89-104
...
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⟩
inria-00547772v1  Conference papers
Ares LagaeSylvain LefebvreRob CookTony DeroseGeorge Drettakis et al.  State of the Art in Procedural Noise Functions
31st annual conference of the European Association for Computer Graphics - Eurographics 2010, May 2010, Norrköping, Sweden
...
hal-00553417v1  Conference papers
Thomas VoegtlinCorine AmatVirginie BriffaudNathalie BuonvisoEmmanuelle Courtiol et al.  Stable frequency response to varying stimulus intensity in a model of the rat olfactory bulb
Cinquième conférence plénière française de Neurosciences Computationnelles, "Neurocomp'10", Aug 2010, Lyon, France
...
inria-00525784v1  Conference papers
Alain GiorgettiClaude MarchéElena TushkanovaOlga Kouchnarenko. Specifying Generic Java Programs: two case studies
11th International Workshop on Language Descriptions, Tools, and Applications - LDTA'2010, Mar 2010, Paphos, Cyprus. pp.92--106
inria-00431610v1  Directions of work or proceedings
Sylvain Lazard. Special Issue on the 24th European Workshop on Computational Geometry (EuroCG'08)
Sylvain Lazard. Computational Geometry, 43:2 (2), Elsevier, pp.48, 2010, Computational Geometry: Theory and Applications, ⟨10.1016/j.comgeo.2009.06.006⟩
inria-00537757v1  Directions of work or proceedings
Laureano Gonzalez-VegaSylvain Lazard. Special Issue on Computational Geometry and Computer-Aided Geometric Design
Laureano Gonzalez-Vega and Sylvain Lazard. Mathematics in Computer Science, 4 (1), Springer, pp.137, 2010, Mathematics in Computer Sciences, ⟨10.1007/s11786-010-0059-9⟩
...
inria-00516726v1  Conference papers
Santosh K.C.Cholwich NatteeBart Lamiroy. Spatial Similarity based Stroke Number and Order Free Clustering
International Conference on Frontiers in Handwriting Recognition, Nov 2010, Kolkata, India
...
inria-00488902v1  Conference papers
Tom LeclercLaurent CiarlettaAndré Schaff. SLSF: Stable Linked Structure Flooding For Mobile Ad Hoc Networks
IEEE International Symposium on Wireless Pervasive Computing - ISWPC 2010, May 2010, Modena, Italy
inria-00540428v1  Conference papers
Christian GillotChristophe CerisaraDavid LangloisJean-Paul Haton. Similar N-Gram Language Model
INTERSPEECH 2010, Sep 2010, Tokyo, Japan. pp.1824-1827
inria-00536680v1  Conference papers
Lazaros MavridisVishwesh VenkatramanDavid RitchieH. MorikawaRumen Andonov et al.  SHREC'10 Track: Protein Models
Eurographics Workshop on 3D Object Retrieval - 3DOR 2010, May 2010, Norrköping, Sweden
...
inria-00537403v1  Conference papers
Bruno Scherrer. Should one compute the Temporal Difference fix point or minimize the Bellman Residual? The unified oblique projection view
27th International Conference on Machine Learning - ICML 2010, Jun 2010, Haïfa, Israel
...
inria-00526766v1  Conference papers
Asterios ToutiosUtpala MustiSlim OuniVincent ColotteBrigitte Wrobel-Dautcourt et al.  Setup for Acoustic-Visual Speech Synthesis by Concatenating Bimodal Units
Interspeech 2010, ISCA, Sep 2010, Makuhari, Chiba, Japan. pp.486-489
hal-00620460v1  Conference papers
Otfried CheongXavier GoaocCyril Nicaud. Set Systems and Families of Permutations with Small Traces (abstract)
8th French Combinatorial Conference, 2010, France
inria-00541375v1  Conference papers
Maha Idrissi AouadLhassane IdoumgharRené SchottOlivier Zendra. Sequential and Distributed SA-Type Algorithms for Energy Optimization in Embedded Systems
IEEE-CiSE 2010 (International Conference on Computational Intelligence and Software Engineering), Dec 2010, Wuhan, China
inria-00524974v1  Conference papers
Maha Idrissi AouadLhassane IdoumgharRené SchottOlivier Zendra. Sequential and Distributed Hybrid GA-SA Algorithms for Energy Optimization in Embedded Systems
the IADIS International Conference Applied Computing 2010, Oct 2010, Timisoara, Romania. pp.167-174
...
inria-00524707v1  Conference papers
Frédéric TantiniAlain TerlutteFabien Torre. Sequences Classification by Least General Generalisations
10th International Colloquium on Grammatical Inference, Sep 2010, Valencia, Spain. pp.189-202, ⟨10.1007/978-3-642-15488-1_16⟩
...
inria-00536870v1  Poster communications
Jean-Charles Quinton. Sensorimotor Exploration/Exploitation with Coordinating Local Predictions
4th International Conference on Cognitive Systems (CogSys 2010), Jan 2010, Zürich, Switzerland
...
inria-00536067v1  Conference papers
Jérôme FrançoisHumberto AbdelnurRadu StateOlivier Festor. Semi-Supervised Fingerprinting of Protocol Messages
CISIS 2010 - 3rd International Conference on Computational Intelligence in Security for Information Systems, Nov 2010, Léon, Spain. pp.107-115, ⟨10.1007/978-3-642-16626-6_12⟩
inria-00537148v1  Conference papers
Claire GardentChristophe Cerisara. Semi-Automatic Propbanking for French
TLT9 - The Ninth International Workshop on Treebanks and Linguistic Theories, Dec 2010, Tartu, Estonia
...
hal-00480028v1  Conference papers
Mathieu LefortYann BonifaceBernard Girau. Self-organization of neural maps using a modulated BCM rule within a multimodal architecture
Brain Inspired Cognitive Systems 2010, Jul 2010, Madrid, Spain. pp.26
...
inria-00547831v1  Reports
Alexandre BoeglinAbdelkader LahmadiOlivier Festor. SecSIP User Documentation
[Technical Report] RT-0394, INRIA. 2010, pp.25
...
inria-00524247v1  Reports
Alexandre BoeglinAbdelkader LahmadiOlivier Festor. SecSIP Technical Documentation
[Technical Report] RT-0393, INRIA. 2010, pp.24
inria-00543045v1  Conference papers
Eduardo Martin MoraudDominique Martinez. Scent-tracking by autonomous robots: Infotaxis and beyond
Dynamical olfaction workshop, 2010, Brighton, United Kingdom
inria-00531025v1  Conference papers
Tigran AvanesovYannick ChevalierMichaël RusinowitchMathieu Turuani. Satisfiability of General Intruder Constraints with a Set Constructor
The Fifth International Conference on Risks and Security of Internet and Systems - CRiSIS 2010, Oct 2010, Montreal, Canada