2178 search results - page 293 / 436 » Inferring complex plans |
117
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
137
click to vote
INFFUS
2010
15 years 2 months ago
2010
This paper introduces design principles for modular Bayesian fusion systems which can (i) cope with large quantities of heterogeneous information and (ii) can adapt to changing co...
157
click to vote
SAB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Symmetry breaking is commonly found in self-organized collective decision making. It serves an important functional role, specifically in biological and bio-inspired sys...
153
click to vote
DLOG
2010
15 years 1 months ago
2010
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
241
Voted
ICCV
2009
IEEE
16 years 9 months ago
2009
IEEE
This paper addresses the problem of fully automated
mining of public space video data. A novel Markov Clustering
Topic Model (MCTM) is introduced which builds on
existing Dynami...