4462 articles – 2360 references  [version française]
.:. Browse > All items .:.
6822 documents ordered by :
First Previous 1 - 2 - 3 - 4 - 5 - 6 - 7 ... Next Last
fulltext access On-the-Fly Multi-Base Recoding for ECC Scalar Multiplication without Pre-Computations
Chabrier T., Tisserand A.
ARITH - 21st IEEE International Symposium on Computer Arithmetic, United States (2013) [hal-00772613 - version 1]
fulltext access Failure Analysis and Modeling in Large Multi-Site Infrastructures
Tran Ngoc M., Pierre G.
13th International IFIP Conference on Distributed Applications and Interoperable Systems, Italy (2013) [hal-00804747 - version 1]
fulltext access Graph Mining under Linguistic Constraints to Explore Large Texts
Quiniou S., Cellier P., Charnois T., Legallois D.
Dans Computación y Sistemas - International Conference on Intelligent Text Processing and Computational Linguistics (CICLing'13), Grèce (2013) [hal-00817068 - version 1]
Médiation Scientifique : une facette de nos métiers de la recherche
Rousseau A., Darnaud A., Goglin B., Acharian C., Leininger C., Godin C., Holik C., Kirchner C., Rives D., Darquie E. et al
Research report (2013) 34 [hal-00804915 - version 1]
fulltext access Genre-based music language modelling with latent hierarchical Pitman-Yor process allocation
Raczynski S., Vincent E.
Rapport de recherche (2013) [hal-00804567 - version 1]
fulltext access Dynamic Bayesian networks for symbolic polyphonic pitch modeling
Raczynski S., Vincent E., Sagayama S.
IEEE Transactions on Audio, Speech and Language Processing (2013) [hal-00803886 - version 1]
fulltext access A Chemistry-Inspired Workflow Management System for Decentralizing Workflow Execution
Fernandez H., Tedeschi C., Priol T.
Rapport de recherche (2013) 23 [hal-00803406 - version 1]
fulltext access A simulation Method for Network Performability Estimation using Heuristically-computed Pathsets and Cutsets
Sartor P., Robledo F.
Rapport de recherche (2013) [hal-00803294 - version 1]
fulltext access Projection Onto The k-Cosparse Set is NP-Hard
Tillmann A. M., Gribonval R., Pfetsch M. E.
[hal-00802359 - version 1] (21/03/2013)
fulltext access Practical Coding Scheme for Universal Source Coding with Side Information at the Decoder
Dupraz E., Roumy A., Kieffer M.
Dans Proceedings of the Data Compression Conference - Data Compression Conference, États-Unis (2013) [hal-00819491 - version 1]
fulltext access The Ghost in the Shell Paradigm for Virtual Agents and Users in Collaborative Virtual Environments for Training
Lopez T., Nouviale F., Gouranton V., Arnaldi B.
in VRIC 2013 Proceedings - VRIC 2013, France (2013) [hal-00809070 - version 1]
fulltext access Toward Polychronous Analysis and Validation for Timed Software Architectures in AADL
Ma Y., Yu H., Gautier T., Le Guernic P., Talpin J.-P., Besnard L., Heitz M.
Dans The Design, Automation, and Test in Europe (DATE) conference - The Design, Automation, and Test in Europe (DATE) conference, France (2013) [hal-00763379 - version 2]
fulltext accessible on an other server Iterative Isotonic Regression
Guyader A., Hengartner N., Jégou N., Matzner-L\ober E.
[hal-00832863 - version 1] (11/06/2013)
Kinematic evaluation of virtual walking trajectories
Cirio G., Olivier A.-H., Marchal M., Pettré J.
IEEE Transactions on Visualization and Computer Graphics 19, 4 (2013) 671-680 [hal-00823549 - version 1]
Personified and multistate camera motions for first-person navigation in desktop virtual reality
Terziman L., Marchal M., Multon F., Arnaldi B., Lécuyer A.
IEEE Transactions on Visualization and Computer Graphics 19, 4 (2013) 652-661 [hal-00823547 - version 1]
fulltext access Concurrent Flexible Reversibility
Lanese I., Lienhardt M., Mezzina C. Antares, Schmitt A., Stefani J.-B.
22nd European Symposium on Programming, ESOP 2013, Italie (2013) [hal-00811629 - version 1]
fulltext access Challenges of Testing for Critical Interactive Systems
Lelli V.
International Conference on Software Testing, Verification and Validation, Luxembourg (2013) [hal-00804876 - version 1]
fulltext access Event retrieval in large video collections with circulant temporal encoding
Revaud J., Douze M., Cordelia S., Jégou H.
CVPR - International Conference on Computer Vision and Pattern Recognition, États-Unis (2013) [hal-00801714 - version 1]
fulltext access Symbolic Supervisory Control of Distributed Systems with Communications
Kalyon G., Le Gall T., Marchand H., Massart T.
Rapport de recherche (2013) [hal-00801840 - version 1]
fulltext accessible on an other server Reachability of Communicating Timed Processes
Clemente L., Herbreteau F., Stainer A., Sutre G.
FoSSaCS - 16th International Conference on Foundations of Software Science and Computation Structures, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS - 2013, Italy (2013) [hal-00744085 - version 1]