Sciweavers

2016 search results - page 86 / 404
» Some observations on HC-128
Sort
View
CP
2008
Springer
15 years 2 months ago
Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms
Experimentation of new algorithms is the usual companion section of papers dealing with SAT. However, the behavior of those algorithms is so unpredictable that even strong experime...
Gilles Audemard, Laurent Simon
GW
2007
Springer
107views Biometrics» more  GW 2007»
15 years 2 months ago
Geometry and Effort in Gestural Renderings of Musical Sound
Abstract. As may be seen at concerts and in various everyday listening situations, people often make spontaneous gestures when listening to music. We believe these gestures are int...
Rolf Inge Godøy
79
Voted
AAAI
2010
15 years 2 months ago
High-Quality Policies for the Canadian Traveler's Problem
We consider the stochastic variant of the Canadian Traveler's Problem, a path planning problem where adverse weather can cause some roads to be untraversable. The agent does ...
Patrick Eyerich, Thomas Keller, Malte Helmert
ESANN
2007
15 years 2 months ago
Exploring the causal order of binary variables via exponential hierarchies of Markov kernels
Abstract. We propose a new algorithm for estimating the causal structure that underlies the observed dependence among n (n ≥ 4) binary variables X1, . . . , Xn. Our inference pri...
Xiaohai Sun, Dominik Janzing
99
Voted
IJCAI
2007
15 years 2 months ago
Argumentation Based Contract Monitoring in Uncertain Domains
Few existing argumentation frameworks are designed to deal with probabilistic knowledge, and none are designed to represent possibilistic knowledge, making them unsuitable for man...
Nir Oren, Timothy J. Norman, Alun D. Preece