Skip to Main content Skip to Navigation

inria-00102948v1  Book sections
Olivier BournezManuel L. Campagnolo. A Survey on Continuous Time Computation
Barry Cooper, Benedikt Löwe and Andrea Sorbi. New Computational Paradigms: Changing Conceptions of What is Computable, Springer, pp.383-424, 2007, 978-0387360331
inria-00132928v2  Reports
Ustun Yildiz. On Dead Path Elimination in Decentralized Process Executions
[Research Report] RR-6131, INRIA. 2007, pp.31
hal-00151040v1  Book sections
Florence Le BerAmedeo Napoli. Treillis pour le raisonnement spatial
F. Le Ber, G. Ligozat et O. Papini. Raisonnements sur l'espace et le temps : des modèles aux applications, Hermès - Lavoisier, pp.225-248, 2007, Traité IGAT
hal-00151045v1  Book sections
Florence Le Ber. Reconnaissance de paysages agricoles à l'aide de treillis de relations
F. Le Ber, G. Ligozat et O. Papini. Raisonnements sur l'espace et le temps : des modèles aux applications, Hermès - Lavoisier, pp.291-304, 2007, Traité IGAT
inria-00152312v2  Reports
Mathieu GrenierNicolas Navet. Scheduling Configuration on Posix 1003.1b Systems
[Research Report] RR-6209, INRIA. 2007, pp.26
inria-00153547v1  Book sections
Rémi BadonnelRadu StateOlivier Festor. Management of Ad-Hoc Networks
Jan Bergstra and Mark Burgess. Handbook of Network and System Administration, Elsevier B.V., pp.331-360, 2007, 978-0-444-52198-9
inria-00160547v1  Book sections
Christophe CerisaraYvon Haradji. Nouvelles formes d'interaction homme-machine pour l'informatique diffuse
Marc Dupuis. Informatique diffuse, 31 (31), OFTA, 2007, ARAGO
inria-00166535v1  Book sections
Jérémy FixJulien VitayNicolas Rougier. A distributed computational model of spatial memory anticipation during a visual search task
M.V. Butz and others. Anticipatory Behavior in Adaptive Learning Systems: From Brains to Individual and Social Behavior, LNAI 4520, Springer-Verlag Berlin Heidelberg, 2007
inria-00167822v1  Book sections
Mohamed Salah BouassidaIsabelle ChrismentOlivier Festor. Gestion de clés dans les réseaux ad hoc
Hermes science. La sécurité dans les réseaux sans fil et mobiles, volume 3, Lavoisier, pp.139-181, 2007, Réseaux et Télécoms IC2, 978-2-7462-1699-0
inria-00168269v1  Book sections
Shu-Heng ChenNicolas Navet. Failure of Genetic-Programming Induced Trading Strategies: Distinguishing between Efficient Markets and Inefficient Algorithms
Shu-Heng Chen and Paul P. Wang and Tzu-Wen Kuo. Computational Intelligence in Economics and Finance: Volume II, 2, Springer Berlin Heidelberg, pp.169-182, 2007, 978-3-540-72820-7 (Print) / 978-3-540-72821-4 (Online). ⟨10.1007/978-3-540-72821-4_11⟩
inria-00169743v1  Book sections
Farhad DaneshgarGérôme CanalsAlicia Diaz. An Awareness Framework for Divergence Knowledge Communities.
Ned F. Kock. Encyclopedia of E-Collaboration, IGI Global, pp.42-47, 2007, 159904000X. ⟨10.4018/978-1-59904-000-4.ch007⟩
inria-00174013v1  Book sections
Michael LeuschelDominique CansellMichael Butler. Validating and Animating Higher-Order Recursive Functions in B
Jean-Raymond Abrial and Uwe Glässer. Festschrift for Egon Börger, Springer-Verlag, 2007, LNCS
inria-00174023v1  Book sections
Dominique CansellDominique Méry. Designing old and new distributed algorithms by replaying an incremental proof-based development
Jean-Raymond Abrial and Uwe Glässer. Festschrift for Egon Börger, Springer-Verlag, 2007, LNCS
inria-00175758v1  Book sections
Sergio NogueiraYassine RuichekFranck GechterAbderrafiaa KoukamFrançois Charpillet. An artificial vision based environment perception system
H. Abut and John H.L.Hansen and Kazuya Takeda. Advances for In-Vehicle and Mobile Systems Challenges for International Standards, Springer Edition, 2007, 0-387-33503-X
inria-00175761v1  Book sections
Sergio Nogueira. Localisation d'un véhicule dans un environnement urbain par analyse de scènes prises par des caméras embarquées
Presses universitaires de Franche-Comté. Presses universitaires de Franche-Comté, Presses universitaires de Franche-Comté, 2007
hal-00177235v1  Reports
Stefan CanzarErnst Althaus. Solving the extended pairwise alignment problem efficiently
[Research Report] MPI-I-2007-1-002, Max-Planck-Institut für Informatik. 2007
inria-00113516v1  Book sections
Roland DucournauEtienne GagnonChandra KrintzPhilippe MuletJan Vitek et al.  International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2006 at ECOOP'06
C. Consel and M. Südholt. Object-Oriented Technology. ECOOP 2006 Workshop Reader - ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports, 4379 (4379), Springer Berlin / Heidelberg, pp.1-14, 2007, Lecture Notes in Computer Science (LNCS), 978-3-540-71772-0. ⟨10.1007/978-3-540-71774-4_1⟩