1398 search results - page 212 / 280 » Ensuring Properties of Interaction Systems |
181
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
194
click to vote
VR
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes how a physical simulation can be integrated with our Responsive Workbench system to support complex assembly tasks involving multiple hands and users. Our sys...
188
click to vote
VC
2008
15 years 6 months ago
2008
Modeling is a severe bottleneck for computer graphics applications. Manual modeling is time consuming and fails to capture the complexity of real world scenes. Automated modeling b...
179
click to vote
NECO
2000
15 years 6 months ago
2000
We develop geometric dynamical systems methods to determine how various components contribute to a neuronal network's emergent population behavior. The results clarify the mu...
160
click to vote
RAS
2008
15 years 5 months ago
2008
The robot described in this paper learns words that relate to objects and their attributes and also learns concepts, which may be recursive, that involve relationships between sev...