Filter your results
- 23
- 17
- 22
- 13
- 2
- 1
- 1
- 1
- 35
- 7
- 4
- 2
- 1
- 4
- 2
- 1
- 2
- 1
- 3
- 7
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 1
- 39
- 1
- 40
- 7
- 7
- 6
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Deterministic recognizability of picture languages with Wang automataDiscrete Mathematics and Theoretical Computer Science, 2010, Vol. 12 no. 4 (4), pp.73-94. ⟨10.46298/dmtcs.511⟩
Journal articles
hal-00990448v1
|
||
|
Improved Second-Order Bounds for Prediction with Expert Advice2006
Preprints, Working Papers, ...
hal-00019799v1
|
||
A new 3D descriptor for human classification: application for human detection in a multi-kinect systemMultimedia Tools and Applications, 2019, 78 (8), pp.1-30. ⟨10.1007/s11042-019-7568-6⟩
Journal articles
hal-02125322v1
|
|||
Temporal Denoising of Kinect Depth DataEighth International Conference onSignal Image Technology and Internet Based Systems (SITIS), 2012, Nov 2012, Sorrento, Italy. pp.47,52
Conference papers
hal-00936435v1
|
|||
|
Towards SMT Model Checking of Array-Based SystemsAutomated Reasoning, 4th International Joint Conference, IJCAR 2008, Aug 2008, Sydney, Australia. pp.67-82, ⟨10.1007/978-3-540-71070-7_6⟩
Conference papers
istex
inria-00576600v1
|
||
Improved second-order bounds for prediction with expert advice2005, pp.217-232
Conference papers
hal-00007539v1
|
|||
GlobalDSL '13: Proceedings of the First Workshop on the Globalization of Domain Specific LanguagesCombemale, Benoit and Cazzola, Walter and France, Robert B. ACM, pp.33, 2013, 978-1-4503-2043-6
Books
hal-00916292v1
|
|||
|
Automating Variability Model Inference for Component-Based Language ImplementationsSPLC'14 - 18th International Software Product Line Conference, Sep 2014, Florence, Italy
Conference papers
hal-01023864v1
|
||
|
Combination Methods for Satisfiability and Model-Checking of Infinite-State SystemsAutomated Deduction - CADE-21, Jul 2007, Bremen, Germany. pp.362-378, ⟨10.1007/978-3-540-73595-3_25⟩
Conference papers
istex
inria-00576597v1
|
||
|
Noetherianity and Combination ProblemsFrontiers of Combining Systems, Sep 2007, Liverpool, United Kingdom. pp.206-220, ⟨10.1007/978-3-540-74621-8_14⟩
Conference papers
istex
inria-00576594v1
|
||
A comprehensive combination frameworkACM Transactions on Computational Logic, 2008, 9 (2), pp.Article n° 8. ⟨10.1145/1342991.1342992⟩
Journal articles
inria-00576602v1
|
|||
Hybrid Possibilistic Conditioning for Revision under Weighted Inputs20th European Conference on Artificial Intelligence (ECAI'12), 2012, Montpellier, France. pp.151-156
Conference papers
hal-00867886v1
|
|||
|
The CAFA challenge reports improved protein function prediction and new functional annotations for hundreds of genes through experimental screensGenome Biology, 2019, 20 (1), ⟨10.1186/s13059-019-1835-8⟩
Journal articles
hal-02393202v1
|
||
Enforcing role based access control model with multimedia signaturesJournal of Systems Architecture, 2009, 55 (4), pp.264-274
Journal articles
hal-01094095v1
|
|||
|
Mirror Descent Meets Fixed Share (and feels no regret)NIPS 2012, Dec 2012, Lake Tahoe, United States. Paper 471
Conference papers
hal-00670514v2
|
||
Prediction of Protein Interactions on HIV-1 - Human PPI Data Using a Novel Closure-Based Integrated ApproachInternational Conference on Bioinformatics Models, Methods and Algorithms, Feb 2012, Vilamoura, Portugal. pp.164-173
Conference papers
hal-00684571v1
|
|||
SOAP Processing Performance and EnhancementIEEE Transactions on Services Computing, 2012, 5 (3), pp.387-403
Journal articles
hal-01092511v1
|
|||
|
A general approach to securely querying XMLComputer Standards and Interfaces, 2008, 30 (6), pp.379-389. ⟨10.1016/j.csi.2008.03.006⟩
Journal articles
hal-00994104v1
|
||
Multiple Structured Light-Based Depth Sensors for Human Motion Analysis: A Review4th international conference on Ambient Assisted Living and Home Care (IWAAL2012), Dec 2012, Vitoria-Gasteiz, Spain. pp.240-247
Conference papers
hal-00936433v1
|
|||
|
Decision procedures for extensions of the theory of arraysAnnals of Mathematics and Artificial Intelligence, 2007, 50 (3-4), pp.231-254. ⟨10.1007/s10472-007-9078-x⟩
Journal articles
istex
inria-00576588v1
|
||
Proceedings of the 2009 EDBT/ICDT WorkshopsAssociation for Computing Machinery, pp.218, 2009, 978-1-60558-650-2. ⟨10.1145/1698790⟩
Proceedings
hal-01125899v1
|
|||
QoS-based Service Optimization Using Differential EvolutionProceedings of the 13th Annual Conference on Genetic and Evolutionary Computation, 2011, New York, NY, USA, Unknown Region. pp.1891--1898, ⟨10.1145/2001576.2001830⟩
Conference papers
hal-01322769v1
|
|||
|
Variability Support in Domain-Specific Language DevelopmentSLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. pp.76-95, ⟨10.1007/978-3-319-02654-1_5⟩
Conference papers
hal-00914715v1
|
||
|
Semantic Join Point Models: Motivations, Notions and RequirementsSPLAT 2006 (Software Engineering Properties of Languages and Aspect Technologies), 2006, Bonn, Germany, Germany
Conference papers
inria-00542782v1
|
||
|
Regret minimization under partial monitoring2005
Preprints, Working Papers, ...
hal-00007538v1
|
||
|
A Decidability Result for the Model Checking of Infinite-State SystemsJournal of Automated Reasoning, 2010, (Online), ⟨10.1007/s10817-010-9192-z⟩
Journal articles
istex
inria-00576873v1
|
||
|
Hub-Betweenness Analysis in Delay Tolerant Networks Inferred by Real TracesWiOpt'10: Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, May 2010, Avignon, France. pp.563-568
Conference papers
inria-00498430v1
|
||
|
Correlation Clustering with Adaptive Similarity QueriesConference on Neural Information Processing Systems, Dec 2019, Vancouver, Canada
Conference papers
hal-02376961v1
|
||
Using XML-Based Multicasting to Improve Web Service ScalabilityInternational Journal of Web Services Research, 2012, 9 (1), pp.1-29
Journal articles
hal-01092510v1
|
|||
|
On the Troll-Trust Model for Edge Sign Prediction in Social NetworksAISTATS 2017 - 20th International Conference on Artificial Intelligence and Statistics, Apr 2017, Fort Lauderdale, United States
Conference papers
hal-01667039v1
|
- 1
- 2