4099 search results - page 623 / 820 » A Framework for Interactive Proof |
134
click to vote
TASE
2009
IEEE
15 years 11 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
126
click to vote
ACCV
2009
Springer
15 years 11 months ago
2009
Springer
This paper addresses the problem of segmenting a textured mesh into objects or object classes, consistently with user-supplied seeds. We view this task as transductive learning and...
124
click to vote
AUSAI
2009
Springer
15 years 11 months ago
2009
Springer
We extend a recent approach to integrate action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an action theory as internal world model t...
148
click to vote
CAIP
2009
Springer
15 years 11 months ago
2009
Springer
A probabilistic framework for vision based volumetric reconstruction and marker free tracking of hand and face volumes is presented, which exclusively relies on off-the-shelf hardw...
137
Voted
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-lo...