Search - Archive ouverte HAL Access content directly

Filter your results

2 442 Results

Query Answering with Transitive and Linear-Ordered Data

Antoine Amarilli , Michael Benedikt , Pierre Bourhis , Michael Vanden Boom
Journal of Artificial Intelligence Research, 2018, 63, pp.191-264. ⟨10.1613/jair.1.11240⟩
Journal articles hal-02338348v1

Provenance Circuits for Trees and Treelike Instances

Antoine Amarilli , Pierre Bourhis , Pierre Senellart
ICALP 2015, Jun 2015, Kyoto, Japan. pp.56-68
Conference papers hal-01178399v1

The Dichotomy of Evaluating Homomorphism-Closed Queries on Probabilistic Graphs

Antoine Amarilli , İsmail İlkan Ceylan
Logical Methods in Computer Science, 2022
Journal articles hal-03712200v1

Recent Topics of Research around the YAGO Knowledge Base

Antoine Amarilli , Luis Galárraga , Nicoleta Preda , Fabian M. Suchanek
Asia-Pacific Web Conference (APWEB), Sep 2014, Changsha, China. pp.1-12
Conference papers hal-01190642v1

Enumeration on Trees with Tractable Combined Complexity and Efficient Updates

Antoine Amarilli , Pierre Bourhis , Stefan Mengel , Matthias Niewerth
PODS, Jun 2019, Amsterdam, France. pp.89-103, ⟨10.1145/3294052.3319702⟩
Conference papers hal-02326243v1

Enumeration on Trees under Relabelings

Antoine Amarilli , Pierre Bourhis , Stefan Mengel
21st International Conference on Database Theory,ICDT 2018, Mar 2018, Vienna, Austria
Conference papers hal-02412744v1

Evaluating Datalog via Tree Automata and Cycluits

Antoine Amarilli , Pierre Bourhis , Mikaël Monet , Pierre Senellart
Theory of Computing Systems, 2019, 63 (7), pp.1620-1678. ⟨10.1007/s00224-018-9901-2⟩
Journal articles hal-01891811v1

Constant-Delay Enumeration for Nondeterministic Document Spanners

Antoine Amarilli , Pierre Bourhis , Stefan Mengel , Matthias Niewerth
ICDT, Mar 2019, Lisbon, Portugal. ⟨10.4230/LIPIcs.ICDT.2019.19⟩
Conference papers hal-02338344v1

A Dichotomy for Homomorphism-Closed Queries on Probabilistic Graphs

Antoine Amarilli , İsmail İlkan Ceylan
ICDT, Mar 2020, Copenhagen, Denmark. ⟨10.4230/LIPIcs.ICDT.2020.5⟩
Conference papers hal-02941907v1

Dynamic Membership for Regular Languages

Antoine Amarilli , Louis Jachiet , Charles Paperman
ICALP 2021 - 48th International Colloquium on Automata, Languages, and Programming, Jul 2021, Glasgow, United Kingdom. pp.116:1--116:17, ⟨10.4230/LIPIcs.ICALP.2021.116⟩
Conference papers hal-03466453v1

Intensional Data on the Web

Antoine Amarilli , Silviu Maniu , Pierre Senellart
ACM SIGWEB Newsletter, 2015, pp.12
Journal articles hal-01191721v1
Image document

Top-k Querying of Unknown Values under Order Constraints

Antoine Amarilli , Yael Amsterdamer , Tova Milo , Pierre Senellart
ICDT 2017 - International Conference on Database Theory, Mar 2017, Venice, Italy. ⟨10.4230/LIPIcs.ICDT.2017.5⟩
Conference papers hal-01439295v1

On the Connections between Relational and XML Probabilistic Data Models

Antoine Amarilli , Pierre Senellart
BNCOD (British National Conference on Databases), Jul 2013, Oxford, United Kingdom. pp.121-134
Conference papers hal-00874445v1
Image document

Challenges for Efficient Query Evaluation on Structured Probabilistic Data

Antoine Amarilli , Silviu Maniu , Mikaël Monet
SUM 2016 - 10th International Conference Scalable Uncertainty Management, Sep 2016, Nice, France. pp.323-330, ⟨10.1007/978-3-319-45856-4_22⟩
Conference papers hal-01360167v1

Electric Vehicle recharge pricing under competition, a game theoretic approach

Isabel Amigo , Maurice Gagnaire
ENERGYCON, Apr 2016, Leuven, Belgium
Conference papers hal-02287808v1

Online electric vehicle recharge scheduling under different e-mobility operator's pricing models

Isabel Amigo , Maurice Gagnaire
IEEE Symposium on Computers and Communication (ISCC), Feb 2015, Larnaca, Cyprus. ⟨10.IAMG/2015⟩
Conference papers hal-02288513v1

Online Electric Vehicle Recharge Scheduling under different e-Mobility Operator's Pricing Model

Isabel Amigo , Maurice Gagnaire
ISCC 2015 : IEEE Symposium on Computers and Communication, Jul 2015, Larnaca, Cyprus. pp.76 - 82, ⟨10.1109/ISCC.2015.7405497⟩
Conference papers hal-02358703v1
Image document

A Game Theoretic Approach for EV Recharge Pricing Under Competition: Analysis and Simulation

Isabel Amigo , Maurice Gagnaire
[Research Report] Telecom Paristech. 2015
Reports hal-01279734v1

A Comparative Study of the Precision of Stack Cache Occupancy Analyses

Naji Amine , Florian Brandner
9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16
Conference papers hal-02287276v1

Eager Stack Cache Memory Transfers

Naji Amine , Florian Brandner
Workshop on Worst-Case Execution Time Analysis, Jul 2016, Toulouse, France
Conference papers hal-02287376v1

Towards a Formal Specification of Multi-paradigm Modelling

Moussa Amrani , Dominique Blouin , Robert Heinrich , Arend Rensink , Hans Vangheluwe et al.
First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, Sep 2019, Munich, Germany
Conference papers hal-03022707v1
Image document

Multi-paradigm modelling for cyber–physical systems: a descriptive framework

Moussa Amrani , Dominique Blouin , Robert Heinrich , Arend Rensink , Hans Vangheluwe et al.
Software and Systems Modeling, 2021, 20, pp.611 - 639. ⟨10.1007/s10270-021-00876-z⟩
Journal articles hal-03572782v1

Crowd Mining

Yael Amsterdamer , Yael Grossman , Tova Milo , Pierre Senellart
SIGMOD (Special Interest Group on Management of Data), Jun 2013, New York, United States. pp.241-252
Conference papers hal-00874443v1

Crowd Miner: Mining association rules from the crowd

Yael Amsterdamer , Yael Grossman , Tova Milo , Pierre Senellart
VLDB (Very Large Data Bases), Aug 2013, Riva del Garda, Italy. pp.241-252
Conference papers hal-00874438v1

Recurring concept meta-learning for evolving data streams

Robert Anderson , Yun Sing Koh , Gillian Dobbie , Albert Bifet
Expert Systems with Applications, 2019, 138, pp.112832. ⟨10.1016/j.eswa.2019.112832⟩
Journal articles hal-02460396v1
Image document

Exploration et gestion des connaissances des ressources en IHM

Fabien André , Guillaume Artignan , Maxime Cordeil , Raphaël Hoarau , Dong-Bach Vo et al.
IHM 2010, 22ème Conférence Francophone sur l'Interaction Homme-Machine, Sep 2010, Luxembourg, Luxembourg
Conference papers lirmm-00573436v1

Adiabatic graph-state quantum computation

Bobby Antonio , Damian Markham , J. Anders
New Journal of Physics, 2014, 16 (113070)
Journal articles hal-02287095v1
Image document

Webstrates for the Future Web?

Kristian B Antonsen , Michel Beaudouin-Lafon , James Eagan , Clemens Nylandsted Klokmose , Wendy Mackay et al.
ProWeb 2017 - Programming Technology for the Future Web, Apr 2017, Brussels, Belgium. pp.1
Conference papers hal-01614236v1
Image document

Résolution des problèmes de routage asymétrique et de partage de charge dans les pare-feux

Cédric Aoun , Olivier Paul , Ahmed Serhrouchni
Colloque Francophone sur l'Ingénierie des Protocoles, Mar 2005, Bordeaux, France
Conference papers hal-03643646v1

Resource provisioning for enriched services in Cloud environments

R. Aoun , E. A. Doumith , M. Gagnaire
IEEE CloudCom Conference, Nov 2010, Indianapolis-IN, United States. ⟨10.1109/CloudCom.2010.43⟩
Conference papers hal-02288305v1