33841 articles – 26697 Notices  [english version]
.:. Consultation > Par type de document > Communications avec actes .:.
22086 documents classés par :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
Monitoring of Tectonic Deformation by Mining Satellite Image Time Series
Rigotti C., Méger N., Pothier C., Jolivet R., Lasserre C.
Dans Reconnaissance de Formes et Intelligence Artificielle (RFIA'14) (2014) 6 [hal-00995714 - version 1]
Delivery Delay Analysis for Roadside Unit Deployment in Intermittently Connected VANETs
Wang Y., Zheng J., Mitton N.
Dans Global Communication Conference (GlobeCom) (2014) [hal-01025938 - version 1]
Comparaison de stratégies d'exploration multi-robot classiques et interactives en environnement peuplé
Kaldé N., Charpillet F., Simonin O.
Dans JFSMA - Journées Francophones sur les Systèmes Multi-Agents (2014) [hal-01006352 - version 1]
Test Case Purification for Improving Fault Localization
Xuan J., Monperrus M.
Dans FSE - 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (2014) [hal-01018931 - version 1]
fulltext access A Language-Independent Proof System for Mutual Program Equivalence
Ciobâcǎ S., Lucanu D., Rusu V., Rosu G.
Dans ICFEM'14 - 16th International Conference on Formal Engineering Methods (2014) [hal-01030754 - version 1]
fulltext access When Systems Engineering Meets Software Language Engineering
Jézéquel J.-M., Mendez D., Degueule T., Combemale B., Barais O.
Dans CSD&M'14 - Complex Systems Design & Management (2014) [hal-01024166 - version 1]
fulltext access A formal framework to prove the correctness of model driven engineering composition operators
Kezadri M., Pantel M., Combemale B., Thirioux X.
Dans ICFEM'14 - 16TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS (2014) [hal-01024067 - version 1]
fulltext access Sparse reconstruction from Multiple-Angle Total Internal Reflection Fluorescence Microscopy
Soubies E., Blanc Féraud L., Schaub S., Aubert G.
Dans ICIP - International Conference on Image Processing (2014) [hal-01037895 - version 1]
Single image super-resolution using sparse representations with structure constraints
Ferreira J. C., Le Meur O., Guillemot C., Da Silva E. A. B., Carrijo G. A.
Dans IEEE International Conference on Image Processing (2014) [hal-00995052 - version 1]
fulltext access Epitome inpainting with in-loop residue coding for image compression
Chérigui S., Alain M., Guillemot C., Thoreau D., Guillotel P.
Dans ICIP - IEEE International Conference on Image Processing 2014 (2014) [hal-00994418 - version 1]