Search - Archive ouverte HAL Access content directly

Filter your results

40 Results
Structure: Internal structure identifier : 6695
Image document

Deterministic recognizability of picture languages with Wang automata

Violetta Lonati , Matteo Pradella
Discrete Mathematics and Theoretical Computer Science, 2010, Vol. 12 no. 4 (4), pp.73-94. ⟨10.46298/dmtcs.511⟩
Journal articles hal-00990448v1
Image document

Improved Second-Order Bounds for Prediction with Expert Advice

Nicolo Cesa-Bianchi , Yishay Mansour , Gilles Stoltz
Preprints, Working Papers, ... hal-00019799v1

A new 3D descriptor for human classification: application for human detection in a multi-kinect system

Kyis Essmaeel , Cyrille Migniot , Albert Dipanda , Luigi Gallo , Ernesto Damiani et al.
Multimedia Tools and Applications, 2019, 78 (8), pp.1-30. ⟨10.1007/s11042-019-7568-6⟩
Journal articles hal-02125322v1

Temporal Denoising of Kinect Depth Data

Essmaeel Kyis , Gallo Luigi , Ernesto Damiani , Pietro Giuseppe De , Albert Dipanda et al.
Eighth 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 Systems

Silvio Ghilardi , Enrica Nicolini , Silvio Ranise , Daniele Zucchelli
Automated 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 advice

Nicolo Cesa-Bianchi , Yishay Mansour , Gilles Stoltz
2005, pp.217-232
Conference papers hal-00007539v1

GlobalDSL '13: Proceedings of the First Workshop on the Globalization of Domain Specific Languages

Benoit Combemale , Walter Cazzola , Robert B. France
Combemale, Benoit and Cazzola, Walter and France, Robert B. ACM, pp.33, 2013, 978-1-4503-2043-6
Books hal-00916292v1
Image document

Automating Variability Model Inference for Component-Based Language Implementations

Edoardo Vacchi , Walter Cazzola , Benoit Combemale , Mathieu Acher
SPLC'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 Systems

Silvio Ghilardi , Enrica Nicolini , Silvio Ranise , Daniele Zucchelli
Automated 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 Problems

Silvio Ghilardi , Enrica Nicolini , Silvio Ranise , Daniele Zucchelli
Frontiers 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 framework

Silvio Ghilardi , Enrica Nicolini , Daniele Zucchelli
ACM 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 Inputs

Salem Benferhat , Célia da Costa Pereira , Andrea Tettamanzi
20th 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 screens

Naihui Zhou , Yuxiang Jiang , Timothy Bergquist , Alexandra Lee , Balint Kacsoh et al.
Genome Biology, 2019, 20 (1), ⟨10.1186/s13059-019-1835-8⟩
Journal articles hal-02393202v1

Enforcing role based access control model with multimedia signatures

Richard Chbeir , Bechara Al Bouna , Stefania Marrara
Journal of Systems Architecture, 2009, 55 (4), pp.264-274
Journal articles hal-01094095v1
Image document

Mirror Descent Meets Fixed Share (and feels no regret)

Nicolò Cesa-Bianchi , Pierre Gaillard , Gabor Lugosi , Gilles Stoltz
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 Approach

Kartick Chandra Mondal , Nicolas Pasquier , Anirban Mukhopadhyay , Célia da Costa Pereira , Ujjwal Maulik et al.
International Conference on Bioinformatics Models, Methods and Algorithms, Feb 2012, Vilamoura, Portugal. pp.164-173
Conference papers hal-00684571v1

SOAP Processing Performance and Enhancement

Joe Tekli , Ernesto Damiani , Richard Chbeir , Gabriele Gianini
IEEE Transactions on Services Computing, 2012, 5 (3), pp.387-403
Journal articles hal-01092511v1
Image document

A general approach to securely querying XML

Ernesto Damiani , M. Fansi , Alban Gabillon , Stefania Marrara
Computer 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 Review

Essmaeel Kyis , Gallo Luigi , Ernesto Damiani , Pietro Giuseppe De , Albert Dipanda et al.
4th 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 arrays

Silvio Ghilardi , Enrica Nicolini , Silvio Ranise , Daniele Zucchelli
Annals 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 Workshops

Marco Mesiti , Marius Truta Traian , Li Xiong , Sascha Muller , Hubert Naacke et al.
Association for Computing Machinery, pp.218, 2009, 978-1-60558-650-2. ⟨10.1145/1698790⟩
Proceedings hal-01125899v1

QoS-based Service Optimization Using Differential Evolution

Florin-Claudiu Pop , Denis Pallez , Marcel Cremene , Andrea Tettamanzi , Mihai Suciu et al.
Proceedings 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
Image document

Variability Support in Domain-Specific Language Development

Edoardo Vacchi , Walter Cazzola , Suresh Pillay , Benoit Combemale
SLE - 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
Image document

Semantic Join Point Models: Motivations, Notions and Requirements

Walter Cazzola , Jean-Marc Jézéquel , Awais Rashid
SPLAT 2006 (Software Engineering Properties of Languages and Aspect Technologies), 2006, Bonn, Germany, Germany
Conference papers inria-00542782v1
Image document

Regret minimization under partial monitoring

Nicolo Cesa-Bianchi , Gabor Lugosi , Gilles Stoltz
Preprints, Working Papers, ... hal-00007538v1

A Decidability Result for the Model Checking of Infinite-State Systems

Daniele Zucchelli , Enrica Nicolini
Journal of Automated Reasoning, 2010, (Online), ⟨10.1007/s10817-010-9192-z⟩
Journal articles istex inria-00576873v1
Image document

Hub-Betweenness Analysis in Delay Tolerant Networks Inferred by Real Traces

Giuliano Grossi , Federico Pedersini
WiOpt'10: Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, May 2010, Avignon, France. pp.563-568
Conference papers inria-00498430v1
Image document

Correlation Clustering with Adaptive Similarity Queries

Marco Bressan , Nicolo Cesa-Bianchi , Andrea Paudice , Fabio Vitale
Conference on Neural Information Processing Systems, Dec 2019, Vancouver, Canada
Conference papers hal-02376961v1

Using XML-Based Multicasting to Improve Web Service Scalability

Joe Tekli , Ernesto Damiani , Richard Chbeir
International Journal of Web Services Research, 2012, 9 (1), pp.1-29
Journal articles hal-01092510v1
Image document

On the Troll-Trust Model for Edge Sign Prediction in Social Networks

Géraud Le Falher , Nicolò Cesa-Bianchi , Claudio Gentile , Fabio Vitale
AISTATS 2017 - 20th International Conference on Artificial Intelligence and Statistics, Apr 2017, Fort Lauderdale, United States
Conference papers hal-01667039v1