.:. Consultation > Liste des articles .:.

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

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Regularized Spherical Polar Fourier Diffusion MRI with Optimal Dictionary Learning Cheng J., Jiang T., Deriche R., Dinggang S., Pew-Thian Y. Dans The 16th International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI) (2013) [hal-00824507 - version 1]

Fusion d'informations sur des images sursegmentées : Une application à la compréhension de scènes routières Xu P., Davoine F., Denoeux T., Bordes J.-B. In Orasis, Congrès des jeunes chercheurs en vision par ordinateur (2013) [hal-00829315 - version 1]

Automated verification of termination certificates Blanqui F., Ly K. Q. Dans 15th National Symposium of Selected ICT Problems (2012) [hal-00763495 - version 1]

From Diagrammatic Confluence to Modularity Jouannaud J.-P., Liu J. Theoretical Computer Science 9032 (2012) [hal-00730272 - version 1]

Church-Rosser Properties of Normal Rewriting Jouannaud J.-P., Li J.-Q. Dans Computer Science Logic 16 (2012) 350-365 [hal-00730271 - version 1]

A (Near) Real-Time Simulation Method of Aneurysm Coil Embolization Wei Y., Cotin S., Dequidt J., Duriez C., Allard J., Kerrien E. Dans Aneurysm, InTech (Ed.) (2012) 223-248 [hal-00736865 - version 1]

Dense trajectories and motion boundary descriptors for action recognition Wang H., Kläser A., Schmid C., Liu C.-L. N° RR-8050 (2012) [hal-00725627 - version 2]

Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité Blanqui F. Université Paris-Diderot - Paris VII (13/07/2012), Dale Miller (Pr.) [tel-00724233 - version 2]

Formal Verification of Netlog Protocols Chen M., Monin J.-F. Dans TASE (2012) [hal-00733634 - version 1]

Human Muscle Fatigue Model in Dynamic Motions Ma R., Chablat D., Bennis F., Ma L. Dans Advances in Robot Kinematics (2012) 1-8 [hal-00686180 - version 1]