.:. Consultation > Liste par discipline > Informatique .:.

363 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

... 9 - 10 - 11 - 12 - 13 - 14 - 15 ...

Fast C1 proximity queries using support mapping of sphere-torus-patches bounding volumes Benallegue M., Escande A., Miossec S., Kheddar A. ICRA'09: IEEE International Conference on Robotics and Automation, Japon (2009) [lirmm-00796369 - version 1]

Optimisation de séquence de tâches avec lissage des mouvements Keith F., Mansard N., Miossec S., Kheddar A. JRNH'09: Journées Nationales de la Robotique Humanoïde, France (2009) [lirmm-00798824 - version 1]

On the perfect matching index of bridgeless cubic graphs Fouquet J.-L., Vanherpe J.-M. [hal-00374313 - version 1] (2009-04-08)

Concentration in Lotka-Volterra parabolic or integral equations: a general convergence result Barles G., Mirrahimi S., Perthame B. [hal-00391982 - version 1] (2009-06-05)

On uncertainty principles in the finite dimensional setting Ghobber S., Jaming P. [hal-00368627 - version 2] (2010-09-09)

Multi-Output Dependent Observability Normal Form Zheng G., Boutat D., Barbot J.-P. Nonlinear Analysis: Theory, Methods and Applications 70, 1 (2009) 404-418 [inria-00192960 - version 2]

Gene expression signature of cerebellar hypoplasia in a mouse model of Down syndrome during postnatal development. Laffaire J., Rivals I., Dauphinot L., Pasteau F., Wehrle R., Larrat B., Vitalis T., Moldrich R. X., Rossier J., Sinkus R. et al BMC Genomics 10, 138 (2009) 138 [hal-00804586 - version 1]

Détection de la présence humaine et caractérisation de l'activité Benezeth Y., Emile B., Laurent H., Rosenberger C. GRETSI, Groupe d'Etudes du Traitement du Signal et des Images, France (2009) [inria-00545529 - version 1]

Abnormal events detection based on spatio-temporal co-occurences Benezeth Y., Jodoin P.-M., Saligrama V., Rosenberger C. Conference on Computer Vision and Pattern Recognition, États-Unis (2009) [inria-00545513 - version 1]

Local comparison of multimodal medical surfaces using a new variational splines fitting algorithm Almhdie A., Léger C. In International Conference on Applied Infiormatics - ICAI'09, Algeria (2009) [hal-00608095 - version 1]

Chan-Vese based method to segment mouse brain MRI images: application to cerebral malformation analysis in trisomy 21 Almhdie A., Lopes-Pereira P., Même S., Colombier C., Brault V., Szeremeta F., Doan B.-T., Lédée R., Harba R., Herault Y. et al In European Signal Processing Conference - Eusipco 2009, United Kingdom (2009) [hal-00608092 - version 1]

Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives Boichut Y., Héam P.-C., Kouchnarenko O. Electronic Notes in Theoretical Computer Science 239 (2009) 57--72 [hal-00561374 - version 1]

Handling Non Left-Linear Rules When Completing Tree Automata Boichut Y., Courbis R., Héam P.-C., Kouchnarenko O. International Journal of Foundations of Computer Science 20, 5 (2009) 837--849 [hal-00561373 - version 1]

Apprentissage automatique pour le TAL : Préface Tellier I. Traitement Automatique des Langues 50, 3 (2009) 7-21 [inria-00514535 - version 1]

Interactive Physical Simulation on Multicore Architectures Hermann E., Raffin B., Faure F. Eurographics Workhop on Parallel Graphics and Visualization, Allemagne (2009) [inria-00360131 - version 2]

Grammar Error Detection with Best Approximated Parse Prost J.-P. in Proceedings of the 11th International Conference on Parsing Technology (IWPT'09) - 11th International Conference on Parsing Technology (IWPT'09), France (2009) [hal-00468007 - version 1]

Analyse relâchée à base de contraintes Prost J.-P. in Actes de TALN'09 (session poster) - Actes de TALN'09 (session poster), France (2009) [hal-00467983 - version 1]

A model-theoretic framework for grammaticality judgements Duchier D., Prost J.-P., Dao T.-B.-H. In Conference on Formal Grammar (FG2009) - Conference on Formal Grammar (FG2009), France (2009) [hal-00458937 - version 1]

Program Calculation in Coq Tesson J., Hashimoto H., Hu Z., Loulergue F., Takeichi M. Rapport de recherche (2009) 18 [inria-00448751 - version 1]

Abstract geometrical computation 3: Black holes for classical and analog computing Durand-Lose J. Natural Computing 8, 3 (2009) 455-472 [hal-00447966 - version 1]