Sciweavers

834 search results - page 104 / 167
» Computing Minimal Models, Stable Models, and Answer Sets
Sort
View
CORR
2008
Springer
90views Education» more  CORR 2008»
14 years 12 months ago
A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem
Determining the evolutionary history of a given biological data is an important task in biological sciences. Given a set of quartet topologies over a set of taxa, the Maximum Quart...
António Morgado, João P. Marques Sil...
ISAAC
2010
Springer
253views Algorithms» more  ISAAC 2010»
14 years 9 months ago
Solving Two-Stage Stochastic Steiner Tree Problems by Two-Stage Branch-and-Cut
Abstract. We consider the Steiner tree problem under a 2-stage stochastic model with recourse and finitely many scenarios (SSTP). Thereby, edges are purchased in the first stage wh...
Immanuel M. Bomze, Markus Chimani, Michael Jü...
COLT
2006
Springer
15 years 3 months ago
Learning Rational Stochastic Languages
Given a finite set of words w1, . . . , wn independently drawn according to a fixed unknown distribution law P called a stochastic language, an usual goal in Grammatical Inference ...
François Denis, Yann Esposito, Amaury Habra...
AAAI
2012
13 years 2 months ago
Sequential Decision Making with Rank Dependent Utility: A Minimax Regret Approach
This paper is devoted to sequential decision making with Rank Dependent expected Utility (RDU). This decision criterion generalizes Expected Utility and enables to model a wider r...
Gildas Jeantet, Patrice Perny, Olivier Spanjaard
DATE
2010
IEEE
171views Hardware» more  DATE 2010»
15 years 5 months ago
Automated bottleneck-driven design-space exploration of media processing systems
Abstract—Media processing systems often have limited resources and strict performance requirements. An implementation must meet those design constraints while minimizing resource...
Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk...