3053 search results - page 221 / 611 » Structured Objects: Modeling and Reasoning |
113
click to vote
CSL
2001
Springer
15 years 8 months ago
2001
Springer
We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definabilit...
144
click to vote
COSIT
2009
Springer
15 years 10 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
130
click to vote
CL
2000
Springer
15 years 7 months ago
2000
Springer
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
134
click to vote
CSL
1999
Springer
15 years 3 months ago
1999
Springer
In this paper we present an overview of the German version of the Bell Labs text-to-speech system, a high-quality concatenative synthesis system with extensive text analysis capab...
161
click to vote
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
Occlusion reasoning, necessary for tasks such as navigation and object search, is an important aspect of everyday life and a fundamental problem in computer vision. We believe tha...