5356 search results - page 931 / 1072 » Adventures in time and space |
124
click to vote
ATAL
2010
Springer
14 years 8 months ago
2010
Springer
The Affine ADD (AADD) is an extension of the Algebraic Decision Diagram (ADD) that compactly represents context-specific, additive and multiplicative structure in functions from a...
151
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
122
click to vote
JAIR
2011
14 years 8 months ago
2011
Bound propagation is an important Artificial Intelligence technique used in Constraint Programming tools to deal with numerical constraints. It is typically embedded within a sea...
131
click to vote
JAIR
2011
14 years 8 months ago
2011
Previous studies have demonstrated that encoding a Bayesian network into a SAT formula and then performing weighted model counting using a backtracking search algorithm can be an ...
128
click to vote
MTA
2011
14 years 8 months ago
2011
We survey recent developments in multimedia signal quality assessment, including image, audio, video, and combined signals. Such an overview is timely given the recent explosion in...