1![Using GORE method for Requirement Engineering of Planning & Scheduling Javier Martnez Silva Department of Mechatronics Engineering University of S˜ao Paulo, S˜ao Paulo, Brazil, Professor Morais, 2231 Using GORE method for Requirement Engineering of Planning & Scheduling Javier Martnez Silva Department of Mechatronics Engineering University of S˜ao Paulo, S˜ao Paulo, Brazil, Professor Morais, 2231](https://www.pdfsearch.io/img/c98040001728263e23aa7353f56ce763.jpg) | Add to Reading ListSource URL: icaps16.icaps-conference.orgLanguage: English - Date: 2016-06-09 08:09:34
|
---|
2![66 IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOL. 46, NO. 1, FEBRUARY 2016 The GRASP Taxonomy of Human Grasp Types Thomas Feix, Javier Romero, Heinz-Bodo Schmiedmayer, Aaron M. Dollar, and Danica Kragic 66 IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOL. 46, NO. 1, FEBRUARY 2016 The GRASP Taxonomy of Human Grasp Types Thomas Feix, Javier Romero, Heinz-Bodo Schmiedmayer, Aaron M. Dollar, and Danica Kragic](https://www.pdfsearch.io/img/d184566e0965a93ba22810932fda74e1.jpg) | Add to Reading ListSource URL: www.is.mpg.deLanguage: English - Date: 2016-02-22 05:50:31
|
---|
3![Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell? Abstract. We consider optimization problems of th Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell? Abstract. We consider optimization problems of th](https://www.pdfsearch.io/img/8e80ce53eec9f8725ac905beb58f6adc.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2009-04-02 05:06:42
|
---|
4![Semiring-Induced Propositional Logic: Definition and Basic Algorithms ∗ † Javier Larrosa, Albert Oliveras and Enric Rodr´ıguez-Carbonell Technical University of Catalonia Barcelona, Spain larrosa,oliveras,erodri@ls Semiring-Induced Propositional Logic: Definition and Basic Algorithms ∗ † Javier Larrosa, Albert Oliveras and Enric Rodr´ıguez-Carbonell Technical University of Catalonia Barcelona, Spain larrosa,oliveras,erodri@ls](https://www.pdfsearch.io/img/2c5131cb85e6d4044b0fb974ed5e2db7.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2010-07-28 04:32:18
|
---|
5![MiniMaxSat: a New Weighted Max-SAT Solver Federico Heras, Javier Larrosa, and Albert Oliveras Universitat Politecnica de Catalunya, Jordi Girona 1-3, 08034 Barcelona, Spain Abstract. In this paper we introduce M INI M A MiniMaxSat: a New Weighted Max-SAT Solver Federico Heras, Javier Larrosa, and Albert Oliveras Universitat Politecnica de Catalunya, Jordi Girona 1-3, 08034 Barcelona, Spain Abstract. In this paper we introduce M INI M A](https://www.pdfsearch.io/img/565bd003a3e7110f789dfcf114567756.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2007-03-01 08:21:24
|
---|
6![Synthesis and verification of self-aware systems Radu Calinescu, Marco Autili, Javier C´amara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska Synthesis and verification of self-aware systems Radu Calinescu, Marco Autili, Javier C´amara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska](https://www.pdfsearch.io/img/60587ed5375f3270cc455926d1c488f3.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-03-10 10:23:58
|
---|
7![](/pdf-icon.png) | Add to Reading ListSource URL: javier.fresan.perso.math.cnrs.fr- Date: 2017-10-24 02:02:49
|
---|
8![The pressure towards mutualism in information ecosystems Javier Borge-Holthoefer Carlos Gracia-Lazaro The pressure towards mutualism in information ecosystems Javier Borge-Holthoefer Carlos Gracia-Lazaro](https://www.pdfsearch.io/img/0f2639d4df6cf4a234aefc40446a3e3e.jpg) | Add to Reading ListSource URL: www.jbh.catLanguage: English - Date: 2015-06-05 04:08:42
|
---|
9![Peregrine: A Tool for the Analysis of Population Protocols ? Michael Blondin[0000−0003−2914−2734] , Javier Esparza[0000−0001−9862−4919] , and Stefan Jaax[0000−0001−5789−8091] Technische Universit¨ at M Peregrine: A Tool for the Analysis of Population Protocols ? Michael Blondin[0000−0003−2914−2734] , Javier Esparza[0000−0001−9862−4919] , and Stefan Jaax[0000−0001−5789−8091] Technische Universit¨ at M](https://www.pdfsearch.io/img/91119411e569564b2e8098b53c2a401e.jpg) | Add to Reading ListSource URL: www7.in.tum.deLanguage: English - Date: 2018-04-14 08:07:38
|
---|
10![HDTQ: Managing RDF Datasets in Compressed Space Javier D. Fern´andez1,2 , Miguel A. Mart´ınez-Prieto3 , Axel Polleres1,2,4 , and Julian Reindorf1 1 HDTQ: Managing RDF Datasets in Compressed Space Javier D. Fern´andez1,2 , Miguel A. Mart´ınez-Prieto3 , Axel Polleres1,2,4 , and Julian Reindorf1 1](https://www.pdfsearch.io/img/019ef41d119a4a84135112c2345cf717.jpg) | Add to Reading ListSource URL: aic.ai.wu.ac.atLanguage: English - Date: 2018-04-01 12:03:38
|
---|