Filter your results
- 2187
- 1559
- 1
- 933
- 516
- 397
- 144
- 73
- 40
- 31
- 18
- 10
- 10
- 7
- 4
- 2
- 2
- 476
- 21
- 3
- 1
- 1850
- 332
- 101
- 97
- 35
- 29
- 24
- 15
- 7
- 6
- 5
- 5
- 3
- 2187
- 1784
- 402
- 1
- 413
- 402
- 397
- 319
- 294
- 292
- 231
- 191
- 171
- 124
- 118
- 108
- 108
- 97
- 82
- 70
- 60
- 55
- 53
- 49
- 41
- 34
- 30
- 28
- 28
- 24
- 23
- 23
- 21
- 20
- 19
- 19
- 19
- 19
- 18
- 18
- 17
- 16
- 16
- 15
- 14
- 14
- 12
- 12
- 11
- 10
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 26
- 20
- 17
- 17
- 16
- 16
- 15
- 15
- 14
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
|
Limiting laws associated with Brownian motion perturbed by its maximum, minimum and local time IIStudia Scientiarum Mathematicarum Hungarica, 2006, 43 (3), pp.295-360
Journal articles
hal-00012705v1
|
||
|
Calcul de formules affines et de séries entières en arithmétique exacte avec types co-inductifsJournées Francophones des Langages Applicatifs, INRIA, Jan 2006, Pauillac, pp.41-55
Conference papers
inria-00000480v1
|
||
|
Ambient Multimodality: towards Advancing Computer Accessibility and Assisted Living.Universal Access in the Information Society, 2006, 5/1, pp.96-104
Journal articles
inria-00000694v1
|
||
|
SVM fonctionnels par interpolation splineJournée de Statistique de la SFdS, Société Française de Statistique, May 2006, Clamart (FR), France
Conference papers
hal-04176653v1
|
||
|
Reactive concurrent programming revisitedExpress, Sep 2006, France. pp.49-60
Conference papers
hal-00015838v1
|
||
|
Application d'une méthode de preuve probabiliste pour prouver la terminaison en temps moyen fini du protocole CSMA/CA 802.11b[Research Report] AVERROES/Lot 4.2/Fourniture 4.2, 2006, pp.13
Reports
inria-00104120v1
|
||
|
GenI: Natural language generation in HaskellHaskell'06, Sep 2006, Portland/USA
Conference papers
inria-00088787v2
|
||
|
Supervised neuronal approaches for EEG signal classification: experimental studiesThe 10th IASTED International Conference on Artificial Intelligence and Soft Computing - ASC 2006, IASTED, Aug 2006, Palma de Mallorca/Spain
Conference papers
inria-00103248v1
|
||
|
A library of Taylor models for PVS automatic proof checkerGeorgia Institute of Technology, 2006, Savannah, Georgia, pp.39-52
Conference papers
hal-00018529v1
|
||
|
Extending the entry consistency model to enable efficient visualization for code-coupling grid applications[Research Report] PI 1779, 2006, pp.17
Reports
inria-00001070v1
|
||
|
Computing the Kalman form2006
Preprints, Working Papers, ...
hal-00009558v4
|
||
|
Net systems semantics of Web Services Orchestrations modeled in Orc[Research Report] PI 1780, 2006
Reports
inria-00001103v1
|
||
|
DLB: A Novel Real-time QoS Control Mechanism for Multimedia Transmission20th International Conference on Advanced Information Networking and Applications (AINA06), Apr 2006, Vienna, Austria
Conference papers
inria-00108409v1
|
||
|
Modèles de Markov cachés et filtrage particulaireDEA. Université du Sud Toulon-Var, 2006
Lectures
inria-00103752v1
|
||
|
Automatic Learning of Symbol Descriptions Avoiding Topological Ambiguities3rd Eurographics Workshop on Sketch-Based Interfaces and Modeling, European Association for Computer Graphics, Sep 2006, Vienne/Autriche
Conference papers
inria-00104537v1
|
||
|
Merging Cellular Automata for Simulating Surface Effects7th International Conference on Cellular Automata For Research and Industry - ACRI 2006, Sep 2006, Perpignan, France. pp.94-103
Conference papers
inria-00104539v1
|
||
|
Periodic Global ParameterizationACM Transactions on Graphics, 2006, ⟨10.1145/1183287.1183297⟩
Journal articles
inria-00104853v1
|
||
|
On a particular class of self-decomposable random variables : the durations of Bessel excursions straddling independent exponential times.2006
Preprints, Working Papers, ...
hal-00104879v1
|
||
|
Optimal estimation for Large-Eddy Simulation of turbulence and application to the analysis of subgrid modelsPhysics of Fluids, 2006, 18, pp.105101. ⟨10.1063/1.2357974⟩
Journal articles
hal-00078115v2
|
||
|
Efficient Learning in GamesConférence Francophone sur l'Apprentissage Automatique - CAP 2006, 2006, Trégastel, France
Conference papers
inria-00102188v1
|
||
|
Apprentissage par Renforcement et Théorie des Jeux pour la coordination de Systèmes Multi-AgentsColloque Africain sur la Recherche en Informatique - CARI 2006, 2006, Cotonou/Bénin
Conference papers
inria-00102192v1
|
||
|
Application-Aware Model for Peer Selection[Research Report] RR-5587, INRIA. 2006, pp.19
Reports
inria-00070420v1
|
||
|
Uplink dynamic discrete power control in cellular networks[Research Report] RR-5818, INRIA. 2006, pp.31
Reports
inria-00070207v2
|
||
|
Shake Them Up! A movement-based pairing protocol for CPU-constrained devices[Research Report] RR-5457, INRIA. 2006, pp.28
Reports
inria-00070549v1
|
||
|
Evaluation of multilingual text alignment systems: the ARCADE II project5th international Conference on Language Resources and Evaluation - LREC'06, May 2006, Genoa/Italy
Conference papers
inria-00115670v1
|
||
|
Towards Formal Verification of Web Service Composition4th International Conference on Business Process Management - BPM 2006, Sep 2006, Vienna/Austria, Austria. pp.257-273, ⟨10.1007/11841760_18⟩
Conference papers
inria-00114012v1
|
||
|
Securing Web Service Compositions: Formalizing Authorization policies using Event Calculus4th International Conference on Service-Oriented Computing - ICSOC'06, Dec 2006, Chicago, USA, pp.440-446, ⟨10.1007/11948148_37⟩
Conference papers
inria-00114026v1
|
||
|
Analysis of Composite Web Services using Logging FacilitiesSecond International Workshop on Engineering Service-Oriented Applications: Design and Composition - WESOA'06, Dec 2006, Chicago, USA
Conference papers
inria-00114029v1
|
||
|
From Proof nets to the Free *-Autonomous CategoriesLogical Methods in Computer Science, 2006, 2 (4:3), 44 p. ⟨10.2168/LMCS-2(4:3)2006⟩
Journal articles
inria-00099865v2
|
||
|
An inexact conic bundle variant suited to column generation[Research Report] RR-6011, INRIA. 2006
Reports
inria-00109402v2
|