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

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

... 13 - 14 - 15 - 16 - 17 - 18 - 19

New quasi-interpolant spline for fitting 3D data on the sphere: Applications to medical imaging Ameur E. B., Sbibih D., Almhdie A., Léger C. IEEE Signal Processing Letters 14, 5 (2007) 333-336 [hal-00607909 - version 1]

Estimation of the 3D self-similarity parameter of trabecular bone from its 2D projection Jennane R., Harba R., Lemineur G., Bretteil S., Estrade A., Benhamou C.-L. Medical Image Analysis 11, 1 (2007) 91-98 [hal-00655390 - version 1]

Home Healthcare Process: Challenges and Open Issues Arbaoui S., Cislo N., Smith-Guerin N. Dans Proceedings of the 33rd International Conference on Operational Research Applied to Health Service, ORAHS'2007 - Conference on Operational Research Applied to Health Service, ORAHS'2007, France (2007) [hal-00711151 - version 1]

Validation of transient cooling modeling for hypersonic application Gascoin N., Gillard P., DUFOUR E., Touré Y. Journal of Thermophysics and Heat Transfer 21, 1 (2007) 86-94 [hal-00641620 - version 1]

A novel implementation of ICP algorithm applied to the multimodal registration of the left ventricle of the heart Almhdie A., Léger C., Deriche M., Lédée R. Dans European Signal Processing Conference - Eusipco 2007, Pologne (2007) [hal-00608062 - version 1]

Improving the power line communication signal-to-noise ratio during a resistive load commutation Guillet V., Lamarque G., Ravier P., Léger C. journal of communications 4, 3 (2007) 126-132 [hal-00607873 - version 1]

Improved VSF algorithm for smooth surface reconstruction from sparse medical data Almhdie A., Léger C., Bergounioux M., Deriche M. Journal of Computing and Information Technology 15, 2 (2007) 123-130 [hal-00607885 - version 1]

3D registration using a new implementation of the ICP algorithm based on a comprehensive lookup matrix: application to medical imaging Almhdie A., Léger C., Deriche M., Lédée R. Pattern Recognition Letters 28, 12 (2007) 1523-1533 [hal-00607891 - version 1]

Redefining Performance Evaluation Tools for Real-Time QRS Complex Classification Systems Ravier P., Leclerc F., Dumez-Viou C., Lamarque G. IEEE Transactions on Biomedical Engineering 54, 9 (2007) 1706--1710 [hal-00600046 - version 1]

Solving First-Order Constraints in the Theory of the Evaluated Trees Dao T.-B.-H., Djelloul K. in Solving First-Order Constraints in the Theory of the Evaluated Trees - Recent Advance in constraints. Lecture notes in computer science. Selected revised paper Csclp 2006., France (2007) [hal-00202314 - version 1]

Toward a first-order extension of Prolog's unification using CHR Djelloul K., Dao T.-B.-H., Fruehwirth T. Dans ACM Symposium on applied computing - ACM symposium on applied computing, Corée, République Populaire Démocratique De (2007) [hal-00202316 - version 1]

A unified sematics for CHR in transaction logic. Meister M., Djelloul K., Robin J. in The 9th International Conference on Logic Programming and Nonmonotonic Reasoning - LPNMR 07, United States (2007) [hal-00202315 - version 1]

Complexity of a CHR solver for existentially quantified conjunctions of equations over trees. Meister M., Djelloul K., Fruehwirth T. Dans Complexity of a CHR solver for existentially quantified conjunctions of equations over trees. - Recent advances in constraints Lecture notes in computer science. Revised selected paper csclp 2006., France (2007) [hal-00202313 - version 1]

A multiple data secure communication based on synchronization of chaotic systems with zero dynamics Zheng G., Boutat D., Boutat-Baddas L., Floquet T., Barbot J.-P. ECC'07 - European Control Conference, Grèce (2007) [inria-00193215 - version 1]

Single output dependent quadratic observability normal form Zheng G., Boutat D., Barbot J.-P. NOLCOS 2007 - 7th IFAC Symposium on Nonlinear Control Systems, South Africa (2007) [inria-00179222 - version 1]

Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue) Deransart P., Ducassé M., Ferrand G. Rapport de recherche (2007) 54 [inria-00151285 - version 3]

Extension au premier ordre de l'unification des termes par CHR Djelloul K., Dao T.-B.-H., Fruehwirth T. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), (2007) [inria-00151075 - version 1]

Quantification restreinte : vers une utilisation pratique des QCSP Benedetti M., Lallouet A., Vautard J. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), (2007) [inria-00151064 - version 1]

Sécurité des systèmes d'exploitation répartis : architecture décentralisée de méta-politique pour l'administration du contrôle d'accès obligatoire. Blanc M. Université d'Orléans (2006-12-19), Christian Toinard (Dir.) [tel-00460610 - version 1]

Complétions d'intervalles minimales Suchan K. Université d'Orléans (2006-12-12), Henri Thuillier (Dir.) [tel-00480669 - version 1]