Skip to Main content Skip to Navigation
Help


hal-00152860v1  Conference papers
Cyril Banderier. Average queue length and area below lattice paths
AofA'2006, Jul 2006, France
hal-01503378v1  Reports
Hervé YviquelAlexandre SanchezRaulet MickaëlEmmanuel Casseau. Multicore Runtime for Dynamic Dataflow Video Decoders
[Technical Report] IETR/INSA Rennes; IRISA, Inria Rennes. 2017
...
tel-01006195v1  Habilitation à diriger des recherches
Alexandre Termier. Pattern mining rock: more, faster, better
Databases [cs.DB]. Université de Grenoble, 2013
...
hal-00926573v3  Conference papers
Stéphane DevismesAnissa LamaniFranck PetitSébastien Tixeuil. Optimal Torus Exploration by Oblivious Robots
NETYS 2015 - Third International Conference on Networked Systems, May 2015, Agadir, Morocco. pp.183-199, ⟨10.1007/978-3-319-26850-7_13⟩
hal-01500793v1  Conference papers
Antoine GiretYannick KergosienEmmanuel NeronGaël Sauvanet. Multi-criteria tourist trip planning
Verolog 2017, Jul 2017, Amsterdam, Netherlands
hal-02001236v1  Conference papers
Jingshu LiuEmmanuel MorinSebastián Saldarriaga. Towards a unified framework for bilingual terminology extraction of single-word and multi-word terms
27th International Conference on Computational Linguistics (COLING), Aug 2018, Santa Fe, United States. pp.2855 - 2866
hal-00008806v1  Conference papers
Dominique Larchey-Wendling. Counter-model search in Gödel-Dummett logics
Second International Joint Conference on Automated Reasoning - IJCAR 2004, Jul 2004, Cork, Ireland. pp.274 -- 288, ⟨10.1007/978-3-540-25984-8_19⟩
hal-00008808v1  Conference papers
Dominique Larchey-Wendling. Gödel-Dummett counter-models through matrix computation
Workshop on Disproving, IJCAR 2004, 2004, Ireland
...
hal-00008810v1  Journal articles
Dominique Larchey-Wendling. Gödel-Dummett counter-models through matrix computation
Electronic Notes in Theoretical Computer Science, Elsevier, 2005, 125 (3), pp.12. ⟨10.1016/j.entcs.2004.07.022⟩
hal-00008811v1  Conference papers
Dominique Larchey-Wendling. Reference Counting for Linear Counter-Model Generation
First APPSEM II Workshop, 2003, Nottingham, United Kingdom
...
hal-01500297v1  Conference papers
Philippe TigréatVincent GriponPierre-Henri Horrein. Improved Willshaw Networks with Local Inhibition
The Eighth International Conference on Advanced Cognitive Technologies and Applications, Mar 2016, Rome, Italy
...
hal-01500116v1  Journal articles
Cedric ChauveJulien CourtielYann Ponty. Counting, generating, analyzing and sampling tree alignments
International Journal of Foundations of Computer Science, World Scientific Publishing, 2018, 29 (5), pp.741--767
hal-01500581v1  Conference papers
J. GuédonMyriam ServièresS. BeaumontNicolas Normand. Medical software control quality using the 3D mojette projector
2004 2nd IEEE International Symposium on Biomedical Imaging: Macro to Nano, 2004, Arlington, United States. pp.836--839
...
hal-00160985v1  Journal articles
Chloé RispalOlivier Carton. Complementation of Rational Sets on Countable Scattered Linear Orderings
International Journal of Foundations of Computer Science, World Scientific Publishing, 2005, 16 (4), pp.767-786
...
hal-01477981v2  Reports
Guillaume Ducoffe. Finding cut-vertices in the square roots of a graph
[Research Report] Université Côte d’Azur, Inria, CNRS, I3S, France. 2017
...
hal-01511770v1  Conference papers
Carine Grasset-SimonGuillaume DamiandPascal Lienhardt. Pyramids of n-Dimensional Generalized Maps
Graph-Based Representations in Pattern Recognition, Apr 2005, Poitiers, France. pp.142-152, ⟨10.1007/978-3-540-31988-7_13⟩
...
hal-01619297v1  Conference papers
Arthur GatouillatYouakim BadrBertrand Massot. QoS-Driven Self-Adaptation for Critical IoT-Based Systems
Workshop on Adaptive Service-oriented and Cloud Applications (ASOCA), Nov 2017, Malaga, Spain. pp.93-105, ⟨10.1007/978-3-319-91764-1_8⟩
...
hal-01511731v1  Conference papers
Carine Grasset-SimonGuillaume Damiand. Generalized Map Pyramid for Multi-level 3D Image Segmentation
13th International Conference on Discrete Geometry for Computer Imagery (DGCI 2006), Oct 2006, Szeged, Hungary. pp.530-541, ⟨10.1007/11907350_45⟩
...
hal-01619270v1  Conference papers
Arthur GatouillatYouakim Badr. Verifiable and Resource-Aware Component Model for IoT Devices
9th International Conference on Management of Digital EcoSystems (MEDES), Nov 2017, Bangkok, Thailand. pp.235-242, ⟨10.1145/3167020.3167056⟩