280 search results - page 45 / 56 » Some Recent Results in Metric Temporal Logic |
SCALESPACE
2001
Springer
14 years 1 days ago
2001
Springer
Receptive field sensitivity profiles of visual front-end cells in the LGN and V1 area in intact animals can be measured with increasing accuracy, both in the spatial and temporal...
TITB
2010
13 years 2 months ago
2010
Progressive loss of the field of vision is characteristic of a number of eye diseases such as glaucoma, a leading cause of irreversible blindness in the world. Recently, there has ...
GECCO
2003
Springer
14 years 24 days ago
2003
Springer
This poster paper summarizes our research on fault tolerance arising as a by-product of the evolutionary computation process. Past research has shown evidence of robustness emergin...
LOCA
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we present an approach to analyzing the social behaviors that occur in a typical office space. We describe a system consisting of over 200 motion sensors connected ...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...