Institute for Research in Computer Science and Random Systems
Home
Browse
All items
Year
Subject
Document type
Latest additions
Authors
By laboratory
Search
Search
Advanced search
Id search
Services
Export a publication list
Create dynamic webpages
Links
IRISA Website
HAL-INRIA
Sherpa Romeo: Publishers open access policies
4462 articles – 2360 references
[version française]
.:.
Browse
>
All items
.:.
6822 documents ordered by :
Date
Title
first author name
document type
Submit date
1
-
2
-
3
-
4
-
5
-
6
-
7
...
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]
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]
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]
Genre-based music language modelling with latent hierarchical Pitman-Yor process allocation
Raczynski S., Vincent E.
Rapport de recherche (2013) [hal-00804567 - version 1]
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]
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]
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]
Projection Onto The k-Cosparse Set is NP-Hard
Tillmann A. M., Gribonval R., Pfetsch M. E.
[hal-00802359 - version 1] (21/03/2013)
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]
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]
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]
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]
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]
Challenges of Testing for Critical Interactive Systems
Lelli V.
International Conference on Software Testing, Verification and Validation
, Luxembourg (2013) [hal-00804876 - version 1]
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]
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]
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]