436 search results - page 30 / 88 » Temporal Preprocessor: Towards Temporal Applications Develop... |
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its ...
IJSNET
2010
13 years 7 months ago
2010
Abstract: Wireless sensor networks can revolutionize soil ecology by providing measurements at temporal and spatial granularities previously impossible. This paper presents our fi...
DBSEC
2007
13 years 10 months ago
2007
With the growing advancement of pervasive computing technologies, we are moving towards an era where spatio-temporal information will be necessary for access control. The use of su...
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
Animal development can be described as a complex, threedimensional cellular system that changes dramatically across time as a consequence of cell proliferation, differentiation an...
CP
2000
Springer
14 years 1 months ago
2000
Springer
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...