33978 articles – 26791 Notices  [english version]
.:. Consultation > Par publications .:.
60769 documents classés par :
Première Page Page Précédente 1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
Graphics Recognition. Current Trends and Challenges 10th International Workshop, GREC 2013, Bethlehem, PA, USA, August 20-21, 2013, Revised Selected Papers
Lamiroy B., Ogier J.-M.
Springer (Ed.) (2014) 270 [hal-01055238 - 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 3D Trajectories for Action Recognition
Koperski M., Bilinski P., Bremond F.
Dans ICIP - The 21st IEEE International Conference on Image Processing (2014) [hal-01054949 - 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]
Are middlewares ready for multi-robots systems?
Chitic S.-G., Ponge J., Simonin O.
Dans International Conference on Simulation, Modeling, and Programming for Autonomous Robots (2014) - [hal-01024760 - version 1]
Validation of Memory Accesses Through Symbolic Analyses
Santos H. N. W., Maffra I., Oliveira L., Pereira F., Gonnord L.
In OOPSLA (2014) [hal-01006209 - version 1]