3600 search results - page 338 / 720 » The settling-time reducibility ordering |
189
click to vote
AAAI
2008
15 years 9 months ago
2008
Previous studies have demonstrated that encoding a Bayesian network into a SAT-CNF formula and then performing weighted model counting using a backtracking search algorithm can be...
168
click to vote
AAAI
2008
15 years 9 months ago
2008
We present a computational model, MoralDM, which integrates several AI techniques in order to model recent psychological findings on moral decision-making. Current theories of mor...
155
click to vote
AAAI
2007
15 years 9 months ago
2007
Finding the exact treewidth of a graph is central to many operations in a variety of areas, including probabilistic reasoning and constraint satisfaction. Treewidth can be found b...
173
click to vote
AIPS
2007
15 years 9 months ago
2007
Autonomous systems operating in real-world environments must be able to plan, schedule, and execute missions while robustly adapting to uncertainty and disturbances. Previous work...
191
click to vote
ACIVS
2006
Springer
15 years 8 months ago
2006
Springer
In many application scenarios, the use of Regions of Interest (ROIs) within video sequences is a useful concept. It is shown in this paper how Flexible Macroblock Ordering (FMO), d...