Skip to Main content Skip to Navigation

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-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-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-00860641v1  Conference papers
Clément Moulin-FrierPierre-Yves Oudeyer. Exploration strategies in developmental robotics: a unified probabilistic framework
ICDL-Epirob - International Conference on Development and Learning, Epirob, Aug 2013, Osaka, Japan
hal-00939851v1  Conference papers
Laurent VezardPierrick LegrandMarie ChaventFrederique Faita-AinsebaLeonardo Trujillo. Detecting mental states of alertness with genetic algorithm variable selection
IEEE Congress on Evolutionary Computation (CEC) 2013, Jun 2013, Cancun, Mexico. pp.1247 - 1254
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-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-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-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-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
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-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-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-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-00909303v1  Conference papers
Ivan LaneseLuca BedogniMarco Di Felice. Internet of things: a process calculus approach
SAC, 2013, Coimbra, Portugal. pp.1339-1346
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-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-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-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-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-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-00907879v1  Conference papers
Antonino RotoloSerena VillataFabien Gandon. A deontic logic semantics for licenses composition in the web of data
ICAIL - 14th International Conference on Artificial Intelligence and Law - 2013, Jun 2013, Rome, Italy. pp.111-120
hal-00909322v1  Conference papers
Fabrizio Montesi. Process-aware web programming with Jolie
SAC - Symposium on Applied Computing - 2013, 2013, Coimbra, Portugal. pp.761-763, ⟨10.1145/2480362.2480507⟩
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-00909321v1  Conference papers
Fabrizio MontesiNobuko Yoshida. Compositional Choreographies
CONCUR - Concurrency Theory - 2013, 2013, Buenos Aires, Argentina. pp.425-439, ⟨10.1007/978-3-642-40184-8_30⟩
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-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-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-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-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-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-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-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-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-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-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-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-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
hal-00826099v1  Conference papers
Elaa TeftefCarlos CarvajalThierry ViévilleFrédéric Alexandre. When early vision in the retina attempts to take decisions about visual motion events : the role of konio cells
Third International Symposium on Biology of Decision Making, Université Pierre et Marie Curie (Paris 6), May 2013, Paris, France
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-00907781v1  Conference papers
Eoin M. ThomasMaureen ClercAlexandra CarpentierEmmanuel DaucéDieter Devlaminck et al.  Optimizing P300-speller sequences by RIP-ping groups apart
IEEE/EMBS 6th international conference on neural engineering (2013), IEEE/EMBS, Nov 2013, San Diego, United States