33869 articles – 26719 Notices  [english version]
.:. Consultation > Par type de document > Communications avec actes .:.
22119 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]
fulltext access Omnisc'IO: A Grammar-Based Approach to Spatial and Temporal I/O Patterns Prediction
Dorier M., Ibrahim S., Antoniu G., Ross R.
Dans SC'14 - International Conference for High Performance Computing, Networking, Storage and Analysis (2014) [hal-01025670 - 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]
Censorship in the Wild: Analyzing Internet Filtering in Syria
Abdelberi C., Chen T., Cunche M., Decristofaro E., Friedman A., Kaafar M. A.
Dans Internet Measurement Conference (IMC) (2014) [hal-01052581 - 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]