1116 search results - page 191 / 224 » Applying Predicate Abstraction to Abstract State Machines |
PPSN
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. The game of Go has attracted much attention from the artificial intelligence community. A key feature of Go is that humans begin to learn on a small board, and then incr...
111
click to vote
CONSTRAINTS
2011
14 years 2 months ago
2011
Abstract. We consider the problem of decomposing an integer matrix into a positively weighted sum of binary matrices that have the consecutive-ones property. This problem is well-k...
111
click to vote
ECCV
1994
Springer
16 years 29 days ago
1994
Springer
Abstract. This paper presents a new algorithm for structure from motion from an arbitrary number of tracked features over an arbitrary number of images, which possesses several adv...
169
click to vote
ICDE
2008
IEEE
16 years 14 days ago
2008
IEEE
In this paper, we address the problem of extending a relational database system to facilitate efficient real-time application of dynamic probabilistic models to streaming data. he ...
79
Voted
SOFSEM
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...