Skip to Main content Skip to Navigation

hal-00909294v1  Conference papers
Elvira AlbertFrank BoerReiner HahnleEinar Broch JohnsenCosimo Laneve. Engineering Virtualized Services
NordiCloud 2013 - 2nd Nordic Symposium on Cloud Computing and Internet Technologies, Sep 2013, Oslo, Norway. pp.59--63, ⟨10.1145/2513534.2513545⟩
hal-00909296v1  Journal articles
Roberto AmadiniImane SefriouiJacopo MauroMaurizio Gabbrielli. A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing
International Journal of Interactive Multimedia and Artificial Intelligence, UNIR, 2013, 2 (4), pp.67-75
hal-00909297v1  Conference papers
Roberto AmadiniMaurizio GabbrielliJacopo Mauro. An Empirical Evaluation of Portfolios Approaches for Solving CSPs
CPAIOR - 10th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming - 2013, 2013, Yorktown Heights, United States. pp.316-324, ⟨10.1007/978-3-642-38171-3_21⟩
hal-00935613v1  Conference papers
Nicolas AnciauxBenjamin NguyenIulian Sandu Popa. Personal Data Management with Secure Hardware: How to keep your Data at Hand
IEEE 14th International Conference on Mobile Data Management, Jun 2013, Milan, Italy. pp.1-2
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-00840485v1  Conference papers
Bernardo Avila PiresMohammad GhavamzadehCsaba Szepesvari. Cost-sensitive Multiclass Classification Risk Bounds
International Conference on Machine Learning, Jun 2013, Atlanta, United States
hal-00849079v2  Conference papers
Benjamin BachPierre DragicevicSamuel HuronPetra IsenbergYvonne Jansen et al.  Illustrative Data Graphics in 18th-19th Century Style: A Case Study
IEEE Conference on Visualization - IEEE VIS 2013, Oct 2013, Atlanta, United States
hal-00907335v1  Book sections
Slawomir BakFrancois Bremond. Re-identification by Covariance Descriptors
Gong, Shaogang and Cristani, Marco and Shuicheng, Yan and Loy, Chen Change. Person Re-Identification, Springer, 2013, Advances in Computer Vision and Pattern Recognition
hal-00907397v1  Journal articles
Slawomir BakFrancois Bremond. Person Re-identification
ERCIM News, ERCIM, 2013, Image Understanding
hal-01058580v1  Journal articles
Remis BalaniukPierre BessièreEmmanuel MazerPaulo Cobbe. Corruption risk analysis using semi-supervised naïve Bayes classifiers
International Journal of Reasoning-based Intelligent Systems, Inderscience Enterprises Ltd, 2013, 5 (4), pp.237-245. ⟨10.1504/IJRIS.2013.058768⟩
hal-00834160v1  Journal articles
Hedi Ben AmorFabien CorblinEric FanchonAdrien ElenaLaurent Trilling et al.  Formal methods for Hopfield-like networks.
Acta Biotheoretica, Springer Verlag, 2013, 61 (1), pp.21-39. ⟨10.1007/s10441-013-9169-5⟩
hal-00909312v1  Journal articles
Lorenzo BettiniSara CapecchiMariangiola Dezani-CiancagliniElena GiachinoBetti Venneri. Deriving session and union types for objects
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2013, 23, pp.1163--1219
hal-00926532v1  Conference papers
Nacer Boudjlida. Complementarity in Competence Management
International Symposium ISKO-Maghreb, Nov 2013, Marrakech, Morocco
hal-01213719v1  Journal articles
Achim D. BruckerBurkhart Wolff. On Theorem-proving based Testing
Formal Aspects of Computing, Springer Verlag, 2013, 25 (5), pp.683-721. ⟨10.1007/s00165-012-0222-y⟩
hal-00907882v1  Conference papers
Elena CabrioJulien CojanSerena VillataFabien Gandon. Hunting for Inconsistencies in Multilingual DBpedia with QAKiS
ISWC - International Semantic Web Conference Posters & Demonstrations Track - 2013, Oct 2013, Sydney, Australia
hal-00907911v1  Conference papers
Elena CabrioJulien CojanSerena VillataFabien Gandon. Argumentation-based Inconsistencies Detection for Question-Answering over DBpedia
NLP&DBpedia - 1st International Workshop on NLP and DBpedia - 2013, Oct 2013, Sydney, Australia
hal-00907877v1  Conference papers
Elena CabrioSerena VillataFabien Gandon. A Support Framework for Argumentative Discussions Management in the Web
ESWC - 10th International Conference on The Semantic Web: Semantics and Big Data - 2013, May 2013, Montpellier, France. pp.412-426
hal-00907910v1  Journal articles
Elena CabrioSerena Villata. A Natural Language Bipolar Argumentation Approach to Support Users in Online Debate Interactions
Argument and Computation, Taylor & Francis, 2013, 4 (3), pp.209-230
hal-00907916v1  Conference papers
Elena CabrioSara TonelliSerena Villata. A Natural Language Account for Argumentation Schemes
AI*IA - XIII Conference of the Italian Association for Artificial Intelligence - 2013, Dec 2013, Turin, Italy
hal-00907873v1  Conference papers
Elena CabrioSara TonelliSerena Villata. From Discourse Analysis to Argumentation Schemes and Back: Relations and Differences
CLIMA - 14th International Workshop on Computational Logic in Multi-Agent Systems - 2013, Sep 2013, La Corunna, Spain. pp.1-17
hal-00907871v1  Conference papers
Patrice CaireLeendert van der TorreSerena Villata. Argumentation Theoretic Foundations for Abstract Dependence Networks
AT - Second International Conference on Agreement Technologies, Aug 2013, Beijing, China
hal-00909320v1  Conference papers
Marco CarboneFabrizio Montesi. Deadlock-freedom-by-design: multiparty asynchronous global programming
POPL - 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - 2013, 2013, Rome, Italy. pp.263-274
hal-00931805v1  Conference papers
Sylvain CastagnosArmelle BrunAnne Boyer. When Diversity Is Needed... But Not Expected!
International Conference on Advances in Information Mining and Management, Nov 2013, Lisbon, Portugal. pp.44-50
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-00851733v2  Journal articles
Fanny ChevalierRomain VuillemotGuia Gali. Using Concrete Scales: A Practical Framework for Effective Visual Depiction of Complex Measures
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2013, 19 (12), pp.2426-2435. ⟨10.1109/TVCG.2013.210⟩
hal-00857699v1  Journal articles
Jesus CortesMathieu DesrochesSerafim RodriguesRomain VeltzMiguel Muñoz et al.  Short-term synaptic plasticity in the deterministic Tsodyks-Markram model leads to unpredictable network dynamics
Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2013
hal-00857440v1  Conference papers
Claire CuryJoan Alexis GlaunèsOlivier Colliot. Template Estimation for Large Database: A Diffeomorphic Iterative Centroid Method Using Currents
GSI 2013 - First International Conference Geometric Science of Information, Aug 2013, Paris, France. pp.103-111, ⟨10.1007/978-3-642-40020-9_10⟩
hal-00909341v1  Conference papers
Loris d'AntoniMarco GaboardiEmilio Jesús Gallego AriasAndreas HaeberlenBenjamin Pierce. Sensitivity analysis using type-based constraints
FPCDSL - 1st annual workshop on Functional programming concepts in domain-specific languages - 2013, 2013, Boston, BA, USA, United States. pp.43--50, ⟨10.1145/2505351.2505353⟩
hal-00909318v1  Conference papers
Ugo Dal LagoBarbara Petit. The geometry of types
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Proceedings, 2013, Rome, Italy. pp.167-178
hal-00909319v1  Conference papers
Ugo Dal LagoGiulio Pellitta. Complexity Analysis in Presence of Control Operators and Higher-Order Functions
LPAR-19 - Logic for Programming, Artificial Intelligence, and Reasoning - 2013, 2013, Stellenbosch, South Africa. pp.258-273, ⟨10.1007/978-3-642-45221-5_19⟩
hal-00909310v1  Conference papers
Ornela DardhaElena GiachinoMichael Lienhardt. A Type System for Components
SEFM - International Conference on Software Engineering and Formal Methods - 2013, 2013, Madrid, Spain. pp.167-181, ⟨10.1007/978-3-642-40561-7_12⟩
hal-00909299v1  Conference papers
Ornela DardhaDaniele GorlaDaniele Varacca. Semantic Subtyping for Objects and Classes
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Firenze, Italy. pp.66-82, ⟨10.1007/978-3-642-38592-6_6⟩
hal-00852072v1  Journal articles
Fani DeligianniGaël VaroquauxBertrand ThirionDavid SharpChristian Ledig et al.  A framework for inter-subject prediction of functional connectivity from structural networks
IEEE Transactions on Medical Imaging, Institute of Electrical and Electronics Engineers, 2013, epub ahead of print, ⟨10.1109/TMI.2013.2276916⟩
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
tel-01750379v3  Theses
Georgios Detorakis. Cortical plasticity, dynamic neural fields and self-organization
Computer science. Université de Lorraine, 2013. English
hal-00908566v1  Conference papers
Georgios DetorakisNicolas Rougier. A computational view of area 3b of primary somatosensory cortex
Annual Computational Neuroscience Meeting, Jul 2013, Paris, France
hal-00909336v1  Conference papers
Roberto Di CosmoJacopo MauroStefano ZacchiroliGianluigi Zavattaro. Component Reconfiguration in the Presence of Conflicts
ICALP - International Colloquium on Automata, Languages and Programming - 2013, 2013, Riga, Latvia. pp.187-198, ⟨10.1007/978-3-642-39212-2_19⟩
hal-00849081v1  Conference papers
Pierre DragicevicWesley WillettTobias Isenberg. Illustrative Data Graphic Style Elements
Posters at the Joint ACM/EG Symposium on Computational Aesthetics, Sketch-Based Interfaces and Modeling, and Non-Photorealistic Animation and Rendering (Expressive 2013, July 19--21, Anaheim, CA, USA), Jul 2013, Anaheim, United States
hal-00849083v1  Conference papers
Pierre DragicevicBenjamin BachNicole DufournaudSamuel HuronPetra Isenberg et al.  Visual Showcase: An Illustrative Data Graphic in an 18th-19th Century Style
Visual Showcase at the Joint ACM/EG Symposium on Computational Aesthetics, Sketch-Based Interfaces and Modeling, and Non-Photorealistic Animation and Rendering (Expressive 2013, July 19--20, Anaheim, CA, USA), Jul 2013, Anaheim, 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-00760735v2  Conference papers
Ehab ElsalamounyKonstantinos ChatzikokolakisCatuscia Palamidessi. A differentially private mechanism of optimal utility for a region of priors
2nd Conference on Principles of Security and Trust (POST 2013), Mar 2013, Rome, Italy. pp.41-62, ⟨10.1007/978-3-642-36830-1_3⟩
hal-00862117v1  Conference papers
Marta Franova. Cartesian Intuitionism for Program Synthesis
Cognitive 2013, May 2013, Valence, Spain
hal-00909295v1  Journal articles
Maurizio GabbrielliJacopo MauroMaria Chiara Meo. The expressive power of CHR with priorities
Information and Computation, Elsevier, 2013, 228-229, pp.62-82. ⟨10.1016/j.ic.2013.05.001⟩
hal-00909340v1  Conference papers
Marco GaboardiAndreas HaeberlenJustin HsuArjun NarayanBenjamin Pierce. Linear Dependent Types for Differential Privacy
40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013, Rome, Italy, Italy. pp.357--370, ⟨10.1145/2429069.2429113⟩
hal-00918518v1  Conference papers
Emmanuelle GaillardJean LieberYannick NaudetEmmanuel Nauer. Case-Based Reasoning on E-Community Knowledge
ICCBR 2013 - 21st International Conference on Case-Based Reasoning, Jul 2013, Saratoga Springs, NY, United States. pp.104-118, ⟨10.1007/978-3-642-39056-2_8⟩
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-00849086v1  Conference papers
Moritz GerlTobias Isenberg. Visual Showcase: Interactive Example-based Hatching
Visual Showcase at the Joint ACM/EG Symposium on Computational Aesthetics, Sketch-Based Interfaces and Modeling, and Non-Photorealistic Animation and Rendering (Expressive 2013, July 19--20, Anaheim, CA, USA), Jul 2013, Anaheim, United States
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-00909311v1  Conference papers
Elena GiachinoCarlo A. GraziaCosimo LaneveMichael LienhardtPeter Wong. DeadLock Analysis of Concurrent Objects ― Theory and Practice
IFM - 10th International Conference on integrated Formal Methods - 2013, 2013, Turku, Finland. pp.394-411, ⟨10.1007/978-3-642-38613-8_27⟩
hal-00827649v1  Conference papers
Oana GogaHoward LeiSree Hari Krishnan ParthasarathiGerald FriedlandRobin Sommer et al.  Exploiting Innocuous Activity for Correlating Users Across Sites
The 22nd International conference on World Wide Web, WWW'13, May 2013, Rio de Janeiro, Brazil. pp.447-458, ⟨10.1145/2488388.2488428⟩
hal-00907883v1  Conference papers
Guido GovernatoriAntonino RotoloSerena VillataFabien Gandon. One License to Compose Them All - A Deontic Logic Approach to Data Licensing on the Web of Data
ISWC - 12th International Semantic Web Conference - 2013, Oct 2013, Sydney, Australia. pp.151-166
hal-00907885v1  Conference papers
Guido GovernatoriHo-Pun LamAntonino RotoloSerena VillataFabien Gandon. Heuristics for Licenses Compostion
JURIX - 26th International Conference on Legal Knowledge and Information Systems - 2013, Dec 2013, Bologna, Italy
hal-00858210v1  Conference papers
Jonathan GrizouIñaki IturrateLuis MontesanoManuel LopesPierre-Yves Oudeyer. Interactive Task Estimation From Unlabelled Teaching Signals
International Workshop on Human-Machine Systems, Cyborgs and Enhancing Devices, Oct 2013, Manchester, United Kingdom
hal-01267481v1  Patents
Majed HaddadVeronique CapdevielleAfef FekiEitan Altman. Method and system for user speed estimation in wireless networks
France, Patent n° : EP2793517, WO/2014/170073, US20160080095. 2013
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-00846775v1  Journal articles
Tobias IsenbergPetra IsenbergJian ChenMichael SedlmairTorsten Möller. A Systematic Review on the Practice of Evaluating Visualization
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2013, 19 (12), pp.2818-2827. ⟨10.1109/TVCG.2013.126⟩
hal-00910104v1  Conference papers
Maxime JanvierRadu HoraudLaurent GirinFrédéric BerthommierLouis-Jean Boë et al.  Supervised Classification of Baboon Vocalizations
Workshop: Neural Information Processing Scaled for Bioacoustics : NIPS4B, Dec 2013, Lake Tahoe, Nevada, United States. 10 p
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-00796336v1  Journal articles
Sungye KimRoss MaciejewskiAbish MalikYun JangDavid Ebert et al.  Bristle Maps: A Multivariate Abstraction Technique for Geovisualization
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2013, 19 (9), pp.1438-1454. ⟨10.1109/TVCG.2013.66⟩
hal-00907875v1  Conference papers
Dionysios KontarinisElise BonzonNicolas MaudetAlan PerottiLeendert van der Torre et al.  Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System
CLIMA - 14th International Workshop on Computational Logic in Multi-Agent Systems - 2013, Sep 2013, La Corunna, Spain. pp.51-68
hal-01241987v1  Journal articles
Sid KouiderCarsten StahlhutSofie V GelskovLeonardo S BarbosaMichel Dutat et al.  A neural marker of perceptual consciousness in infants.
Science, American Association for the Advancement of Science, 2013, 340 (6130), pp.376-380. ⟨10.1126/science.1232509⟩
hal-00909303v1  Conference papers
Ivan LaneseLuca BedogniMarco Di Felice. Internet of things: a process calculus approach
SAC, 2013, Coimbra, Portugal. pp.1339-1346
hal-00909305v1  Conference papers
Ivan LaneseFabrizio MontesiGianluigi Zavattaro. Amending Choreographies
WWV - 9th International Workshop on Automated Specification and Verification of Web Systems - 2013, 2013, Florence, Italy. pp.34-48, ⟨10.4204/EPTCS.123.5⟩
hal-00909300v1  Conference papers
Tudor Alexandru LascuJacopo MauroGianluigi Zavattaro. Automatic Component Deployment in the Presence of Circular Dependencies
10th International Symposium on Formal Aspects of Component Software, FACS 2013, 2013, Nanchang, China
hal-00827885v1  Conference papers
Raphaël LaurentJean-Luc SchwartzPierre BessièreJulien Diard. A computational model of perceptuo-motor processing in speech perception: learning to imitate and categorize synthetic CV syllables
Interspeech 2013 - 14th Annual Conference of the International Speech Communication Association, Aug 2013, Lyon, France. pp.2797-2801
hal-00859986v1  Conference papers
Mathieu LefortYann BonifaceBernard Girau. SOMMA: Cortically Inspired Paradigms for Multimodal Processing
International Joint Conference on Neural Networks, Aug 2013, Dallas, United States
ensl-00869081v1  Book sections
Pierre Lescanne. Common Knowledge Logic in a Higher Order Proof Assistant
Andrei Voronkov, Christoph Weidenbach. Programming Logics - Essays in Memory of Harald Ganzinger., Springer, pp.271-284, 2013, Lecture Notes in Computer Science
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-00931173v1  Conference papers
Valeria LoscrìPasquale PaceRosario Surace. Multi-Objective Evolving Neural Network supporting SDR Modulations Management
IEEE 24th International Symposium on Personal, Indoor and Mobile Radio Communications: Mobile and Wireless Networks, Sep 2013, London, United Kingdom
inria-00638805v1  Journal articles
Thé Van LuongNouredine MelabEl-Ghazali Talbi. GPU Computing for Parallel Local Search Metaheuristics
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2013, 62 (1), pp.173-185. ⟨10.1109/TC.2011.206⟩
hal-00869748v1  Conference papers
Jiří MaršíkMaxime Amblard. Integration of Multiple Constraints in ACG
Logic and Engineering of Natural Language Semantics 10, Oct 2013, Kanagawa, Japan. pp.1-14
hal-01110093v1  Conference papers
Olivier MartinJean-Dominique GascuelHenri PaynoSebastien Schmerber. Flexibility of sensorimotor integration in visual virtual immersion. Case of vestibular patients
ACAPS 2013 - 15ème Congrès international de l'Association des Chercheurs en Activités Physiques et Sportives, ACAPS, Oct 2013, Grenoble, France
hal-00912934v1  Directions of work or proceedings
Bjoern H. MenzeMauricio ReyesAndras JakabElisabeth GerstnerJustin Kirby et al.  Proceedings of the MICCAI Challenge on Multimodal Brain Tumor Image Segmentation (BRATS) 2013
Bjoern Menze and Mauricio Reyes and Andras Jakab and Elisabeth Gerstner and Justin Kirby and Keyvan Farahani. MICCAI Challenge on Multimodal Brain Tumor Image Segmentation (BRATS), Sep 2013, Nagoya, Japan. MICCAI, pp.57, 2013