2819 search results - page 230 / 564 » Automatic Structures |
85
Voted
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
In earlier work, we presented an abstraction-refinement mechanism that was successful in verifying automatically the partial correctness of in-situ list reversal when applied to an...
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
116
click to vote
FGR
2004
IEEE
15 years 6 months ago
2004
IEEE
We present an algorithm for automatic inference of human upper body motion. A graph model is proposed for inferring human motion, and motion inference is posed as a mapping proble...
112
click to vote
FQAS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Research in Cooperative Query answering is triggered by the observation that users are often not able to correctly formulate queries to databases that return the intended...
106
click to vote
ESWS
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents an automatic method for differentiating between instances and classes in a large scale taxonomy induced from the Wikipedia category network. The method exploits...