Exploració per autor "Rollón Rico, Emma"
Ara es mostren els items 1-13 de 13
-
Augmenting the power of (partial) MaxSat resolution with extension
Larrosa Bondia, Francisco Javier; Rollón Rico, Emma (AAAI Press, 2020)
Comunicació de congrés
Accés restringit per política de l'editorialThe refutation power of SAT and MaxSAT resolution is challenged by problems like the soft and hard Pigeon Hole Problem PHP for which short refutations do not exist. In this paper we augment the MaxSAT resolution proof ... -
CBR and MBR techniques: review for an application in the emergencies domain
Merida-Campos, Carlos; Rollón Rico, Emma (2003-06-01)
Report de recerca
Accés obertThe purpose of this document is to provide an in-depth analysis of current reasoning engine practice and the integration strategies of Case Based Reasoning and Model Based Reasoning that will be used in the design and ... -
Choosing the root of the tree decomposition when solving WCSPs: preliminary results
Petrova, Aleksandra; Larrosa Bondia, Francisco Javier; Rollón Rico, Emma (IOS Press, 2021)
Text en actes de congrés
Accés obertIn this paper we analyze the effect of selecting the root in a tree decomposition when using decomposition-based backtracking algorithms. We focus on optimization tasks for Graphical Models using the BTD algorithm. We show ... -
Database design and administration
Abelló Gamazo, Alberto; Rodríguez González, María Elena; Rollón Rico, Emma (Edicions UPC, 2010)
Llibre
Accés restringit a la comunitat UPCIt is assumed that the reader has previous knowledge on a conceptual modeling language as well as on relational databases.<br>This book is thought as a tool to make easy to follow a specific course on database design and ... -
Decomposing utility functions in Bounded Max-Sum for distributed constraint optimization
Rollón Rico, Emma; Larrosa Bondia, Francisco Javier (Springer, 2014)
Text en actes de congrés
Accés obertBounded Max-Sum is a message-passing algorithm for solving distributed Constraint Optimization Problems (DCOP) able to compute solutions with a guaranteed approximation ratio. In this paper we show that the introduction ... -
Diseño y administración de bases de datos
Abelló Gamazo, Alberto; Rodríguez González, María Elena; Rollón Rico, Emma (Edicions UPC, 2006)
Llibre
Accés restringit als usuaris de la UB, UAB, UPC, UPF, UdG, UdL, URV, UOC, BC, UVic, UJI, URL, UICSe asume que el lector ya tiene conocimientos previos de un lenguaje de modelado conceptual y de bases de datos relacionales. En este libro se aborda la problemática y la multiplicidad que supone obtener un esquema relacional ... -
Employee scheduling with SAT-based pseudo-boolean constraint solving
Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Rollón Rico, Emma (Institute of Electrical and Electronics Engineers (IEEE), 2021)
Article
Accés obertThe aim of this paper is practical: to show that, for at least one important real-world problem, modern SAT-based technology can beat the extremely mature branch-and-cut solving methods implemented in well-known state-of-the-art ... -
Introducció de tècniques d’aprenentatge col•laboratiu i semi-presencial en l’àmbit de bases de dades
Abelló Gamazo, Alberto; Urpí Tubella, Antoni; Rollón Rico, Emma; Rodríguez, M. Elena; Casany Guerrero, María José; Quer, Carme; Burgués Illa, Xavier; Martí, Carme (Universitat Politècnica de Catalunya. Institut de Ciències de l'Educació, 2008-02-07)
Text en actes de congrés / Comunicació de congrés
Accés obertPodem classificar les àrees d’actuació del projecte en tres grups diferents: 1) S'han reestructurat els temaris de les assignatures de tota la branca de “bases de dades” de la FIB. 2) S’han introduït activitats participatives ... -
Limited discrepancy AND/OR search and its application to optimization tasks in graphical models
Larrosa Bondia, Francisco Javier; Rollón Rico, Emma; Dechter, Rina (AAAI Press (Association for the Advancement of Artificial Intelligence), 2016)
Text en actes de congrés
Accés obertMany combinatorial problems are solved with a Depth-First search (DFS) guided by a heuristic and it is well-known that this method is very fragile with respect to heuristic mistakes. One standard way to make DFS more robust ... -
Multi-objective optimization in graphical models
Rollón Rico, Emma (Universitat Politècnica de Catalunya, 2008-11-03)
Tesi
Accés obertMany real-life optimization problems are combinatorial, i.e. they concern a choice of the best solution from a finite but exponentially large set of alternatives. Besides, the solution quality of many of these problems ... -
New mini-bucket partitioning heuristics for bounding the probability of evidence
Rollón Rico, Emma; Dechter, Rina (2009)
Text en actes de congrés
Accés obertMini-Bucket Elimination (MBE) is a well-known approximation algorithm deriving lower and upper bounds on quantities of interest over graphical models. It relies on a procedure that partitions a set of functions, called ... -
Proof complexity for the maximum satisfiability problem and its use in SAT refutations
Rollón Rico, Emma; Larrosa Bondia, Francisco Javier (Oxford University Press, 2022-10)
Article
Accés obertMaxSAT, the optimization version of the well-known SAT problem, has attracted a lot of research interest in the past decade. Motivated by the many important applications and inspired by the success of modern SAT solvers, ... -
Semiring-based mini-bucket partitioning schemes
Rollón Rico, Emma; Larrosa Bondia, Francisco Javier; Dechter, Rina (AAAI Press. Association for the Advancement of Artificial Intelligence, 2013)
Text en actes de congrés
Accés restringit per política de l'editorialGraphical models are one of the most prominent frameworks to model complex systems and efficiently query them. Their underlying algebraic properties are captured by a valuation structure that, most usually, is a semiring. ...