Sciweavers

1185 search results - page 157 / 237
» The Equivalence of Sampling and Searching
Sort
View
106
Voted
JAIR
2008
171views more  JAIR 2008»
15 years 17 days ago
AND/OR Multi-Valued Decision Diagrams (AOMDDs) for Graphical Models
Inspired by AND/OR search spaces for graphical models recently introduced, we propose to augment Multi-Valued Decision Diagrams (MDD) with AND nodes, in order to capture function ...
Robert Mateescu, Rina Dechter, Radu Marinescu 0002
131
Voted
JAIR
2006
157views more  JAIR 2006»
15 years 16 days ago
Decision-Theoretic Planning with non-Markovian Rewards
A decision process in which rewards depend on history rather than merely on the current state is called a decision process with non-Markovian rewards (NMRDP). In decisiontheoretic...
Sylvie Thiébaux, Charles Gretton, John K. S...
139
Voted
TJS
2002
160views more  TJS 2002»
15 years 6 days ago
Adaptive Optimizing Compilers for the 21st Century
Historically, compilers have operated by applying a fixed set of optimizations in a predetermined order. We call such an ordered list of optimizations a compilation sequence. This...
Keith D. Cooper, Devika Subramanian, Linda Torczon
119
Voted
JAIR
2011
124views more  JAIR 2011»
14 years 7 months ago
Second-Order Consistencies
In this paper, we propose a comprehensive study of second-order consistencies (i.e., consistencies identifying inconsistent pairs of values) for constraint satisfaction. We build ...
Christophe Lecoutre, Stéphane Cardon, Julie...
110
Voted
CVPR
2004
IEEE
16 years 2 months ago
Proposal Maps Driven MCMC for Estimating Human Body Pose in Static Images
This paper addresses the problem of estimating human body pose in static images. This problem is challenging due to the high dimensional state space of body poses, the presence of...
Mun Wai Lee, Isaac Cohen