36 search results - page 6 / 8 » Completeness and Compactness of Quantitative Domains |
ENTCS
2006
13 years 7 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
JVCA
2006
13 years 7 months ago
2006
Virtual mannequins need to navigate in order to interact with their environment. Their autonomy to accomplish the navigation task is ensured by locomotion controllers. Control inp...
BMCBI
2010
13 years 7 months ago
2010
Background: With the current technological advances in high-throughput biology, the necessity to develop tools that help to analyse the massive amount of data being generated is e...
LOGCOM
2000
13 years 7 months ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...
ICCV
1995
IEEE
13 years 11 months ago
1995
IEEE
A new approach to tracking weakly modeled objects in a semantically rich domain is presented. We define a closed-world as a space-time region of an image sequence in which the co...