Skip to Main content Skip to Navigation

hal-00130802v1  Journal articles
Carole Delporte-GalletHugues FauconnierJean-Michel HelaryMichel Raynal. Early Stopping in Global Data Computation
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2003, 14(9), pp.909-921
hal-01367902v1  Book sections
Sylvie GibetJean-François KampFranck Poirier. Gesture Analysis : invariant laws in Movement
Gesture-based Communication in Human-Computer Interaction, 2003
hal-00340491v1  Conference papers
Olivier MichelJean-Pierre BanâtrePascal FradetJean-Louis Giavitto. Challenging Questions for the Rationals of Non-Classical Programming Languages
The Grand Challenge in Non-Classical Computation, 2005, The King's Manor, York, United Kingdom. pp.93--103
hal-00655852v1  Conference papers
Nicolas PapadakisEtienne MéminFrederic Cao. A variational approach for object contour tracking
ICCV Workshop on Variational, Geometric and Level Set Methods in Computer Vision (VLSM'05), Oct 2005, Beijing, China. pp.259-270
hal-00256084v1  Conference papers
Christine ChardenonGrégory Smits. Combining Preferences to Control a Natural Language Processing Chain
Proceedings of Multidisciplinary ECAI'06 Workshop on Advances in Preferences Handling, 2006, Italy. pp.128-134
hal-00282131v1  Conference papers
Sylvie SagetMarc Guyomard. Goal-oriented Dialog as a Collaborative Subordinated Activity involving Collective Acceptance
10th Workshop on the Semantics and the Pragmatics of Dialogue (Brandial 2006), 2006, Potsdam, Germany. pp.131-138
hal-00340128v1  Journal articles
Olivier MichelJean-Pierre BanâtrePascal FradetJean-Louis Giavitto. Challenging Questions for the Rationale of Non-Classical Programming Languages
International Journal of Unconventional Computing, Old City Publishing, 2006, 2, pp.337--347
hal-00256086v1  Conference papers
Pascal BellecGrégory Smits. Personal Semantic Indexation of Images using Textual Annotations
Proceedings of the first international Conference on Semantic and Digital Media Technologies (SAMT'06), 2006, Greece
hal-00655854v1  Conference papers
Patrick HéasEtienne MéminNicolas Papadakis. Dense estimation of layer motions in the atmosphere
International Conference on Pattern Recognition (ICPR'06), Aug 2006, China. pp.vol 3
hal-01367901v1  Book sections
Pierre-François MarteauSylvie Gibet. Adaptive Sampling of Motion Trajectories for Discrete Task-bases Analysis and Synthesis of Gesture
Sylvie Gibet; Nicolas Courty; Jean-François Kamp. Gesture in Human-Computer Interaction and Simulation, 6th International Gesture Workshop, Lecture Notes in Computer Science (3881), Springer-Verlag Berlin Heidelberg, pp.224 - 235, 2006, GW 2005, 978-3-540-32624-3
hal-00655902v1  Conference papers
Nicolas PapadakisEtienne Mémin. A variational framework for spatio-temporal smoothing of fluid motions
Scale Space and Variational Methods (SSVM'07), May 2007, Ischia, Italy. pp.1-8
inria-00471162v1  Conference papers
Sebastien HillaireAnatole LécuyerRémi CozotGéry Casiez. Depth-of-Field Blur Effects for First-Person Navigation in Virtual Environments
Symposium on Virtual Reality Software and Technology, ACM, Nov 2007, NewPort Beach, United States
hal-00596194v1  Conference papers
Nicolas PapadakisPatrick HéasEtienne Mémin. Image assimilation for motion estimation of atmospheric layers with shallow-water model
Asian Conference on Computer Vision (ACCV'08), Nov 2007, Tokyo, Japan. pp.864-874
hal-00596167v1  Journal articles
Patrick HéasEtienne MéminNicolas PapadakisAndré Szantai. Layered estimation of atmospheric mesoscale dynamics from satellite imagery
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2007, 45(2) (12), pp.4087-4104. ⟨10.1109/TGRS.2007.906156⟩
hal-00923403v1  Journal articles
Hesham El-SayedAbdelhamid MelloukLaurent George. Quality of service models for heterogeneous networks: overview and challenges
Annals of Telecommunications - annales des télécommunications, Springer, 2008, pp.639-668
hal-00410719v1  Book sections
Steven DerrienSanjay RajopadhyePatrice QuintonTanguy Risset. High-Level Synthesis of Loops Using the Polyhedral Model
P. Coussy and A. Morawiec. High-Level Synthesis : From Algorithm to Digital Circuit, Spinger, pp.215-230, 2008
hal-00410754v1  Journal articles
Tanguy RissetPatrice QuintonAnne-Claire Guillou. Hardware synthesis for systems of recurrence equations with multidimensional schedule
International Journal of Embedded Systems, Inderscience, 2008, 3 (4), pp.271-284
hal-00596154v1  Journal articles
Nicolas PapadakisEtienne Mémin. A variational technique for time consistent tracking of curves and motion
Journal of Mathematical Imaging and Vision, Springer Verlag, 2008, 31 (1), pp.81-103. ⟨10.1007/s10851-008-0069-2⟩
hal-00596149v1  Journal articles
Nicolas PapadakisEtienne Mémin. Variational assimilation of fluid motion from image sequence
SIAM Journal on Imaging Sciences, Society for Industrial and Applied Mathematics, 2008, 1 (4), pp.343-363. ⟨10.1137/080713896⟩
inria-00471153v1  Journal articles
Sebastien HillaireAnatole LécuyerRémi CozotGéry Casiez. Depth-of-Field Blur Effects for First-Person Navigation in Virtual Environments
IEEE Computer Graphics and Applications, Institute of Electrical and Electronics Engineers, 2008
hal-00923378v1  Journal articles
Laurent GeorgeJean-François Hermant. Characterization of the Space of Feasible Worst-Case Execution Times for Earliest-Deadline-First scheduling
Journal of Aerospace Information Systems, American Institute of Aeronautics and Astronautics, 2009, 6, pp.1-27. ⟨10.2514/1.44721⟩
hal-03108368v1  Journal articles
Amélie LouysDavinia Hernández-LeoJudith SchoonenboomRuud LemmersMar Pérez-Sanagustin. Self-Development of Competences for Social Inclusion Using the TENCompetence Infrastructure
Journal of Educational Technology and Society, International Forum of Educational Technology and Society, 2009, 12 (3), pp.70-81
inria-00449796v1  Conference papers
Léo TerzimanAnatole LécuyerSébastien HillaireJan Malte Wiener. Can Camera Motions Improve the Perception of Traveled Distance in Virtual Environments?
Virtual Reality 2009 - IEEE Annual International Symposium, Mar 2009, Los Angeles, United States. pp.131-134, ⟨10.1109/VR.2009.4811012⟩
hal-01367900v1  Book sections
Matthieu AubryFrédéric JulliardSylvie Gibet. Interactive Ergonomic Analysis of a Physically Disabled Person's Workspace
Gesture-Based Human-Computer Interaction and Simulation 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers, 2009
hal-00477153v1  Journal articles
Yann RenardFabien LotteGuillaume GibertMarco CongedoEmmanuel Maby et al.  OpenViBE: An Open-Source Software Platform to Design, Test and Use Brain-Computer Interfaces in Real and Virtual Environments
Presence: Teleoperators and Virtual Environments, Massachusetts Institute of Technology Press (MIT Press), 2010, 19 (1), pp.35-53. ⟨10.1162/pres.19.1.35⟩
hal-00580133v1  Conference papers
Carole Delporte-GalletHugues FauconnierRachid GuerraouiAnne-Marie KermarrecEric Ruppert et al.  Byzantine Agreement with Homonyms
PODC - 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Jun 2011, San Jose, United States. pp.21-30, ⟨10.1145/1993806.1993810⟩
hal-00599981v2  Conference papers
Florentin SmarandacheArnaud MartinChristophe Osswald. Contradiction measures and specificity degrees of basic belief assignments
International Conference on Information Fusion, Jul 2011, Chicago, United States. pp.1569429169
hal-00646137v1  Conference papers
Achraf GhorbelAbdullah AlmaksourAurélie LemaitreEric Anquetil. Incremental learning for interactive sketch recognition
Ninth IAPR International Workshop on Graphics RECognition, Sep 2011, Séoul, South Korea
hal-00646120v1  Conference papers
Achraf GhorbelSébastien MacéAurélie LemaitreEric Anquetil. Interactive competitive breadth-first exploration for sketch interpretation
International Conference on Document Analysis and Recognition, Sep 2011, Beijing, China. ⟨10.1109/ICDAR.2011.241⟩
hal-01110783v1  Conference papers
Gilles BartheDelphine DemangeDavid Pichardie. A Formally Verified SSA-based Middle-end
21th European Symposium on Programming, ESOP 2012, Mar 2012, Tallin, Estonia. pp.47-66, ⟨10.1007/978-3-642-28869-2_3⟩
hal-01338364v1  Conference papers
Xiao LingHai JinShadi IbrahimWenzhi CaoSong Wu. Efficient Disk I/O Scheduling with QoS Guarantee for Xen-based Hosting Platforms
The 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID'2012), May 2012, Ottawa, Canada
inserm-00677106v1  Conference papers
Camille MaumetPierre MaurelElise BannierJean-Christophe FerréChristian Barillot. A contrario detection of focal brain perfusion abnormalities based on an Arterial Spin Labeling template
9th IEEE International Symposium on Biomedical Imaging (ISBI), May 2012, Barcelona, Spain. pp.1176-1179
hal-01163557v1  Journal articles
Tahar GherbiIsabelle BorneDjamel Meslati. An MDE Approach to Develop Mobile-Agents Applications
Communications in Computer and Information Science, Springer Verlag, 2013, Evaluation of Novel Approaches to Software Engineering, 417 (1), pp.64-80. ⟨10.1007/978-3-642-54092-9⟩
hal-00909298v1  Conference papers
Michel CatanRoberto Di CosmoAntoine EicheTudor Alexandru LascuMichael Lienhardt et al.  Aeolus: Mastering the Complexity of Cloud Application Deployment
ESOCC - European Conference on Service-Oriented and Cloud Computing - 2013, 2013, Malaga, Spain. pp.1-3, ⟨10.1007/978-3-642-40651-5_1⟩
hal-00924716v1  Conference papers
Delphine DemangeVincent LaporteLei ZhaoDavid PichardieSuresh Jagannathan et al.  Plan B: A Buffered Memory Model for Java
Proc. of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2013, Jan 2013, Rome, Italy
hal-00840338v1  Conference papers
Christophe HauserFrédéric TronelColin FidgeLudovic Mé. Intrusion detection in distributed systems, an approach based on taint marking
IEEE ICC2013 - IEEE International Conference on Communications, Jun 2013, Budapest, Hungary
hal-00814671v2  Conference papers
Mounir AssafJulien SignolesFrédéric TronelEric Totel. Program Transformation for Non-interference Verification on Programs with Pointers
28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.231-244, ⟨10.1007/978-3-642-39218-4_18⟩
hal-00927283v1  Conference papers
Radu TudoranAlexandru CostanGabriel Antoniu. DataSteward: Using Dedicated Compute Nodes for Scalable Data Management on Public Clouds
TrustCom 2013 - 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Jul 2013, Melbourne, Australia. pp.1057--1064, ⟨10.1109/TrustCom.2013.129⟩
hal-00842076v1  Conference papers
Xiao LingShadi IbrahimHai JinSong WuSongqiao Tao. Exploiting Spatial Locality to Improve Disk Efficiency in Virtualized Environments
IEEE 21st International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (Mascots 2013), Aug 2013, San Francisco, United States
hal-00831401v1  Conference papers
Ehab ElsalamounyVladimiro Sassone. An HMM-based reputation model
Advances in Security of Information and Communication Networks, Sep 2013, Cairo, Egypt. pp.111-121, ⟨10.1007/978-3-642-40597-6_9⟩
hal-01301196v1  Conference papers
Kinda KhawamJohanne CohenPaul MuhlethalerSamer LahoudSamir Tohmé. AP association in a IEEE 802.11 WLAN.
24th IEEE Annual International Symposium on Personal, Indoor, and Mobile Radio Communications (PIMRC), Sep 2013, London, United Kingdom
hal-00862713v1  Conference papers
Quentin GalvaneMarc ChristieRémi RonfardChen-Kim LimMarie-Paule Cani. Steering Behaviors for Autonomous Cameras
MIG 2013 - ACM SIGGRAPH conference on Motion in Games, Nov 2013, Dublin, Ireland. pp.93-102, ⟨10.1145/2522628.2522899⟩
hal-01058760v2  Book sections
Thomas GaillatPascale SébillotNicolas Ballier. Automated classification of unexpected uses of this and that in a learner corpus of English
Lieven Vandelanotte; Kristin Davidse; Caroline Gentens. Recent Advances in Corpus Linguistics: Developing and Exploiting Corpora, 78, Brill, pp.309-324, 2014, Rodopi Language and Linguistics Special E-Book, ⟨10.1163/9789401211130_015⟩
hal-01110237v1  Conference papers
Leandra WebbJozef LegényRobert LeebAnatole Lécuyer. Dual-Frequency SSVEP Stimulation Using a Stereoscopic Display
6th International Brain-Computer Interface Conference, 2014, Graz, Austria
hal-01097677v1  Journal articles
Gilles BartheDelphine DemangeDavid Pichardie. Formal Verification of an SSA-based Middle-end for CompCert
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2014, 36 (1), pp.35. ⟨10.1145/2579080⟩
hal-01110231v1  Book sections
Laurent GeorgeAnatole Lécuyer. Passive Brain-Computer Interfaces
Eduardo Reck Miranda, Julien Castet. Guide to Brain-Computer Music Interfacing, Springer, pp.297-308, 2014, 978-1-4471-6583-5. ⟨10.1007/978-1-4471-6584-2_13⟩
hal-01098789v1  Book sections
Guillaume Aucher. Principles of Knowledge, Belief and Conditional Belief
Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics, pp.97 - 134, 2014, ⟨10.1007/978-3-319-03044-9_5⟩
hal-00978153v1  Conference papers
Radu TudoranAlexandru CostanRui WangLuc BougéGabriel Antoniu. Bridging Data in the Clouds: An Environment-Aware System for Geographically Distributed Data Transfers
14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2014, Chicago, United States
hal-01090281v1  Conference papers
Radu TudoranOlivier NanoIvo SantosAlexandru CostanHakan Soncu et al.  JetStream: Enabling High Performance Event Streaming across Cloud Data-Centers
DEBS'14 - The 8th ACM International Conference on Distributed Event-Based Systems, May 2014, Mumbai, India. pp.23 - 34, ⟨10.1145/2611286.2611298⟩
hal-01089371v1  Conference papers
Radu TudoranKate KeaheyPierre RiteauSergey PanitkinGabriel Antoniu. Evaluating Streaming Strategies for Event Processing across Infrastructure Clouds
Cluster, Cloud and Grid Computing (CCGrid), 2014 14th IEEE/ACM International Symposium on, May 2014, Chicago, United States. pp.151 - 159, ⟨10.1109/CCGrid.2014.89⟩
hal-01027778v1  Conference papers
Vincent ClaveauEwa Kijak. Generating and using probabilistic morphological resources for the biomedical domain
9th edition of the Language Resources and Evaluation Conference, LREC 2014, May 2014, Reykjavik, Iceland. 7 p
hal-01367912v1  Conference papers
Virginie DemulierElisabetta BevacquaTom GiraudPamela Carreno-MedranoBrice Isableu et al.  A Database of Full Body Virtual Interactions Annotated with Expressivity Scores
LREC 2014 - Ninth International Conference on Language Resources and Evaluation, May 2014, Reykjavik, Iceland. pp.3505-3510
hal-01002099v1  Conference papers
Hamza SamihMathieu AcherRalf BoguschHélène Le GuenBenoit Baudry. Deriving Usage Model Variants for Model-based Testing: An Industrial Case Study
19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014), Aug 2014, Tianjin, China
hal-01100781v1  Conference papers
Carole Delporte-GalletHugues FauconnierMichel Raynal. An Exercise in Concurrency: From Non-blocking Objects to Fair Objects
International Conference on Network-Based Information Systems( NBiS 2014), Sep 2014, Salerne, Italy
hal-01089480v1  Poster communications
Christian MühlReinhold SchererAnatole LécuyerLorraine PerronnetMoritz Grosse-Wentrup et al.  Which factors drive successful BCI skill learning?
6th International BCI conference, Sep 2014, Graz, Austria
hal-01025159v1  Conference papers
Hamza SamihRalf Bogusch. MPLM -- MaTeLo Product Line Manager
18th International Software Product Line Conference (2014), Sep 2014, Florence, Italy
hal-01100780v1  Conference papers
Carole Delporte-GalletHugues FauconnierMichel Raynal. Fair Synchronization in the Presence of Process Crashes and its Weakest Failure Detector
33h Symposium on Reliable Distributed Systems (SRDS), Oct 2014, Nara, Japan. pp.161-170, ⟨10.1109/SRDS.2014.18⟩
hal-01023282v1  Conference papers
Radu TudoranAlexandru CostanGabriel Antoniu. Transfer as a Service: Towards a Cost-Effective Model for Multi-Site Cloud Data Management
Proceedings of the 33rd IEEE Symposium on Reliable Distributed Systems (SRDS 2014), IEEE, Oct 2014, Nara, Japan
hal-01163824v1  Conference papers
Ahmad ChettihDavid Gross-AmblardDavid GuyonErwann LegeayZoltán Miklós. Crowd, a platform for the crowdsourcing of complex tasks
BDA 2014 : Gestion de données - principes, technologies et applications, Oct 2014, Autrans, France. pp.51--55
hal-01338416v1  Journal articles
Hai JinHonglei JiangShadi IbrahimXiaofei Liao. Inaccuracy in private BitTorrent measurements
International Journal of Parallel Programming, Springer Verlag, 2015, 43, pp.528-547. ⟨10.1007/s10766-013-0282-5⟩
hal-01110779v1  Conference papers
Delphine DemangeDavid PichardieLéo Stefanesco. Verifying Fast and Sparse SSA-based Optimizations in Coq.
24th International Conference on Compiler Construction, CC 2015, 2015, London, United Kingdom
tel-01212832v1  Theses
Hanane El Abdellaouy. Mécanismes d'optimisation de l'utilisation des technologies dans le Home Network
Computer science. Télécom Bretagne; Université de Rennes 1, 2015. English
hal-01166509v1  Directions of work or proceedings
Céline RémiLionel PrevostEric Anquetil. Drawing, Handwriting Processing Analysis: New Advances and Challenges
17th Biennial Conference of the International Graphonomics Society, Jun 2015, Pointe-à-Pitre, Guadeloupe. 2015, 979-10-95177-01-2
hal-01184236v1  Conference papers
Shadi IbrahimTran Anh PhuongGabriel Antoniu. An Eye on the Elephant in the Wild: A Performance Evaluation of Hadoop's Schedulers Under Failures
ARMS-CC'15-The second workshop on Adaptive Resource Management and Scheduling for Cloud Computing, held in conjunction with PODC 2015,, Jul 2015, Donostia-San Sebastián, Spain
hal-01184235v1  Conference papers
Houssem-Eddine ChihoubShadi IbrahimYue LiGabriel AntoniuMaría Pérez et al.  Exploring Energy-Consistency Trade-offs in Cassandra Cloud Storage System
SBAC-PAD'15-The 27th International Symposium on Computer Architecture and High Performance Computing, Oct 2015, Florianopolis, Santa Catarina, Brazil
hal-01203001v1  Conference papers
Orcun YildizShadi IbrahimTran Anh PhuongGabriel Antoniu. Chronos: Failure-Aware Scheduling in Shared Hadoop Clusters
BigData'15-The 2015 IEEE International Conference on Big Data, Oct 2015, Santa Clara, CA, United States
hal-01253206v1  Conference papers
Annie Foret. A logical information system proposal for browsing terminological resources
Terminology and Artificial Intelligence (TIA) 2015, Nov 2015, Grenade, Spain