Skip to Main content Skip to Navigation

hal-03337848v1  Journal articles
Gilles BlanchardDonald Geman. Hierarchical testing designs for pattern recognition
Annals of Statistics, Institute of Mathematical Statistics, 2005, 33 (3), pp.1155-1202. ⟨10.1214/009053605000000174⟩
inria-00100200v1  Conference papers
Daan BroederThierry DeclerckLaurent RomaryÉric Villemonte de la ClergerieMarkus Uneson et al.  A large Metadata Domain for Language Resources
4th International Conference on Language Resources and Evaluation - LREC'04, May 2004, Lisbonne, Portugal. pp.369-372
hal-03300529v1  Conference papers
Yacine BoufkhadÉric GrégoirePierre MarquisBertrand MazureLakhdar Saïs. Tractable cover compilations
Proc. of the 15th Intl. Joint Conf. on Artificial Intelligence (IJCAI-97), 1997, Nagoya, Japan. pp.122-127
hal-03266927v1  Conference papers
Amélie BeaudetJean DumoncelFrancis ThackerayStanley Durrleman​Gérard Subsol et al.  Identification of Homo-like features in virtually rendered South African australopiths endocasts
Symposium Le Registre Fossile Humain Africain / The African Human Fossil Record (2014), Sep 2014, Toulouse, France. pp.(electronic medium)
hal-03260622v1  Book sections
Julie Hunter. Now: A Discourse-Based Theory
Aloni, Maria; Roelofsen, Floris; Sassoon, Galit Weidman; Schulz, Katrin; Kimmelman, Vadim. Logic, Language and Meaning : 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers, Springer, pp.371--380, 2012, 978-3642314810
hal-03260621v1  Journal articles
Julie Hunter. Structured Contexts and Anaphoric Dependencies
Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition, Springer 2014, 168 (1, Special Issue March 2014), pp.35--58. ⟨10.1007/s11098-013-0209-4⟩
hal-03256409v1  Conference papers
Lucie BarqueMarie CanditoPhilippe Muller. Temporal annotation within frame semantics (Chronos, 11th International Conference on Actionality, Tense, Aspect, Modality/Evidentiality, Pisa, Italy, 16/06/14-18/06/14)
Chronos 11, 11th International Conference on Actionality, Tense, Aspect, Modality/Evidentiality (2014), Jun 2014, Pisa, Italy
hal-03208846v1  Conference papers
Jean Goubault-LarrecqEric Goubault. Order-theoretic, geometric and combinatorial models of intuitionistic S4 proofs
IMLA 1999 - 1st Workshop on Intuitionistic Modal Logics and Applications, Jul 1999, Trento, Italy
hal-01094384v1  Conference papers
Marc BocquetLin WuFrederic ChevallierMohammad Reza Koohkan. Selected topics in multiscale data assimilation
International Summer School - Advanced Data Assimilation for Geosciences, Ecole de Physique des Houches, May 2012, Les Houches, France. pp.415-431, ⟨10.1093/acprof:oso/9780198723844.003.0018⟩
hal-03130383v1  Directions of work or proceedings
Yves LechevallierGilbert Saporta. Proceedings of COMPSTAT'2010
Compstat'2010, Aug 2010, Paris, France. Physica Verlag, 2010, 978-3-7908-2604-3
inria-00604108v1  Conference papers
Etienne HuotTill IsambertIsabelle HerlinJean-Paul BerroirGennady K. Korotaev. Data Assimilation of Satellite Images within an Oceanographic Circulation Model
ICASSP 2006 - IEEE International Conference on Acoustics, Speech and Signal Processing, May 2006, Toulouse, France. pp.265-268, ⟨10.1109/ICASSP.2006.1660330⟩
hal-01125818v1  Conference papers
Francoise SailhanThierry DelotAnimesh PathakAymeric PuechMatthieu Roy. Dependable Sensor Networks
Atelier sur la GEstion des Données dans les Systèmes d'Information Pervasifs (GEDSIP). Conférence INFORSID, May 2010, X, France. pp.1-15
hal-01086082v1  Conference papers
Ripon K. SahaJulia L. LawallSarfraz KhurshidDewayne Perry. On the Effectiveness of Information Retrieval Based Bug Localization for C Programs
ICSME 2014 - 30th International Conference on Software Maintenance and Evolution, IEEE, Sep 2014, Victoria, Canada. pp.161-170, ⟨10.1109/ICSME.2014.38⟩
hal-01840838v1  Conference papers
Gilles AddaBenoît SagotKarën FortJoseph Mariani. Crowdsourcing for language resource development: critical analysis of amazon mechanical turk overpowering use
Language & Technology Conference : Human Language Technologies as a Challenge for Computer Science and Linguistics, Jan 2011, Poznan, Poland
hal-01184805v1  Journal articles
Olivier GascuelBernadette Bouchon-MeunierGilles CarauxPatrick GallinariAlain Guénoche et al.  Twelve numerical, symbolic and hybrid supervised classification methods
International Journal of Pattern Recognition and Artificial Intelligence, World Scientific Publishing, 1998, 12 (5), pp.517-572. ⟨10.1142/S0218001498000336⟩
hal-01230213v1  Conference papers
Eric FleuryCédric AdjihEmmanuel BaccelliGaetan HarterNathalie Mitton et al.  FIT IoT-LAB First Class IoT Open Experimental Testbed
26th Asian School of Computer Science, Nov 2015, Bangkok, Thailand
inria-00515455v3  Conference papers
Benoît SagotGiorgio Satta. Optimal rank reduction for Linear Context-Free Rewriting Systems with Fan-Out Two
48th Annual Meeting of the Association for Computational Linguistics - ACL 2010, Jul 2010, Uppsala, Sweden
hal-00925748v1  Conference papers
Louis BigoJean-Louis GiavittoMoreno AndreattaOlivier MichelAntoine Spicher. Computation and Visualization of Musical Structures in Chord-Based Simplicial Complexes
MCM 2013 - 4th International Conference Mathematics and Computation in Music, Jun 2013, Montreal, Canada. pp.38-51, ⟨10.1007/978-3-642-39357-0_3⟩
hal-02864902v1  Conference papers
Nicolas MontavontAntoine BoutetTanguy RopitaultManabu TsukadaThierry Ernst. Anemone : a ready-to-go testbed for IPv6 compliant intelligent transport systems
ITST 2008 : 8th international conference on ITS telecommunications, Oct 2008, Phuket, Thailand. pp.228 - 233, ⟨10.1109/ITST.2008.4740262⟩
hal-02822871v1  Conference papers
Domitille HeitzlerGuillaume DurandLaurence DupuyChristophe GauthierVincent Piketty et al.  Modelling of FSHR-induced signalling network
International Conference for Gonadotropins & their Receptors, Jul 2008, Hertfordshire, United Kingdom. n.p
hal-02817319v1  Poster communications
Daniel BarthélémyNozha BoujemaaDaniel MathieuJean-François Molino. Pl@ntNet, a flagship project of Agropolis fondation
Biodiversité et Agricultures : défis d’aujourd’hui, recherche de demain pour une agriculture durable, Nov 2008, Montpellier, France. 2008
hal-02816587v1  Conference papers
Chadha ChettaouiDirk DrasdoIsabelle HueJuhui Wang. Physically-based modeling of the trophoblast tissue morphogenesis
9th International Symposium, Computer Methods in Biomechanics and Engineering, Feb 2010, Valence, Spain. 1 p
hal-02816154v1  Poster communications
F. ClementFréderic FagèsDomitille HeitzlerEric Reiter. Modelling of FSH signalling network in ovarian follicle cells with BIOCHAM
Colloque "Vers une science des systèmes complexes", Mar 2007, Paris, France. n.p., 2007
hal-02816027v1  Conference papers
Domitille HeitzlerFréderic FagèsFrédéric ClementEric Reiter. Modelling of FSH receptor signalling network
Journée modélisation du département PHASE, Mar 2008, Paris, France. n.p
hal-02816018v1  Poster communications
Chadha ChettaouiIsabelle HueJuhui WangDirk Drasdo. Physically-based modeling of the trophoblast tissue morphogenesis
ISCB Student Council Symposium 2010., Jul 2010, Boston, United States. pp.1 P., 2010
hal-02815366v1  Conference papers
Domitille HeitzlerAstrid MusnierThomas BouloSophie TesseraudGuillaume Durand et al.  Dynamic model of FSH signalling pathways in Sertoli cells adapted to two stages
The Dagstuhl Seminar 09091 ''Formal Methods in Molecular Biology '', Feb 2009, Wadern, Germany. p:9
hal-02750559v1  Conference papers
Hervé FournierAntoine Vigneron. Fitting a Step Function to a Point Set
16th Annual European Symposium on Algorithms, Sep 2008, Karlsruhe, Germany. ⟨10.1007/978-3-540-87744-8_37⟩
hal-01084550v1  Conference papers
Aurore GuillevicDamien Vergnaud. Algorithms for Outsourcing Pairing Computation
CARDIS 2014 - 13th Smart Card Research and Advanced Application Conference, Conservatoire National des Arts et Métiers (CNAM), Nov 2014, Paris, France. ⟨10.1007/978-3-319-16763-3_12⟩
hal-01214701v1  Conference papers
Aurélie BauerDamien Vergnaud. Practical Key Recovery for Discrete-Logarithm Based Authentication Schemes from Random Nonce Bits.
Cryptographic Hardware and Embedded Systems - CHES 2015, Sep 2015, Saint-Malo, France. pp.287-306, ⟨10.1007/978-3-662-48324-4_15⟩
hal-02562175v1  Conference papers
Abel CherouatHouman BorouchakiJ.L Billoët. Mechanical and Geometrical Approaches to Simulate the Shaping Deformation of Composite Fabric
European Congress on Computational Methods in Applied Sciences and Engineering, Sep 2000, Barcelona, Spain
hal-02562158v1  Conference papers
J.L BilloëtHouman BorouchakiAbel Cherouat. New numerical tools for virtual textile composite forming
5th International Conference on Textile Composite, TEXCOMP'5, Sep 2000, Leuven, Belgium
hal-02562134v1  Conference papers
Ilyes Ben NaceurHouman BorouchakiAbel CherouatJean-Marie Bachmann. Anisotropic elastoplastic behavior fully coupled with isotropic ductile damage for sheet metal forming
7th International conference on Computation Structures Technology (CST2004), Sep 2004, Lisbon, Portugal
hal-02551404v1  Conference papers
Olfa MzoughiItheri YahiaouiNozha BoujemaaEzzeddine Zagrouba. Advanced tree species identification using multiple leaf parts image queries
2013 20th IEEE International Conference on Image Processing (ICIP), Sep 2013, Melbourne, France. pp.3967-3971, ⟨10.1109/ICIP.2013.6738817⟩
hal-01257796v1  Conference papers
Richard CombesSadegh TalebiAlexandre ProutièreMarc Lelarge. Combinatorial Bandits Revisited
NIPS 2015 - Twenty-ninth Conference on Neural Information Processing Systems, Dec 2015, Montreal, Canada
hal-02535701v1  Journal articles
Xiaoyu ChenDongming WangTing Zhao. GeoText: An Intelligent Dynamic Geometry Textbook (Extended Abstract)
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2012, 46 (4), pp.171-175. ⟨10.1145/2429135.2429175⟩
hal-01125741v1  Conference papers
Malika CharradMohamed Ben AhmedYves LechevallierGilbert Saporta. Determining the number of clusters in CROKI2 algorithm
MSDM'09 - Meeting on Statistics and Data Mining, Mar 2009, Hammamet, Tunisia. pp.143-148
hal-01125839v1  Conference papers
Malika CharradYves LechevallierMohamed Ben AhmedGilbert Saporta. On the Number of Clusters in Block Clustering Algorithms
23rd International FLAIRS Conference, May 2010, Florida, United States. pp.392-397
hal-02466757v1  Conference papers
Charles AndréArnaud CuccuruJean-Luc DekeyserRobert de SimoneCedric Dumoulin et al.  MARTE: a new OMG profile RFP for the Modeling and Analysis of Real-Time Embedded Systems
DAC 2005 Workshop - UML for SoC Design, Jun 2005, Anaheim California, United States
hal-02420846v1  Conference papers
Julien Law-ToLi ChenAlexis JolyIvan LaptevOlivier Buisson et al.  Video Copy Detection: a Comparative Study
CIVR 2007, Jul 2007, Amsterdam, France