6608 search results - page 910 / 1322 » On the Completeness of Model Checking |
188
click to vote
MM
2005
ACM
16 years 13 days ago
2005
ACM
Labeling faces in news video with their names is an interesting research problem which was previously solved using supervised methods that demand significant user efforts on lab...
203
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
One of the difficulties to adapt MDPs for the control of cooperative multi-agent systems, is the complexity issued from Decentralized MDPs. Moreover, existing approaches can not ...
176
click to vote
CHARME
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
160
click to vote
IMR
2004
Springer
16 years 7 days ago
2004
Springer
We present a method that computes a global potentially visible set for the complete region outside the convex hull of an object. The technique is used to remove invisible parts (t...
180
click to vote
JELIA
2004
Springer
16 years 7 days ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...