1980 search results - page 301 / 396 » Compositional Model Checking of Real Time Systems |
167
click to vote
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
—A generic approach that allows extracting functional nonlinear dependencies and mappings between atmospheric or ocean state variables in a relatively simple form is presented. T...
101
click to vote
SIGMETRICS
2004
ACM
15 years 8 months ago
2004
ACM
d Abstract] Mengzhi Wang, Kinman Au, Anastassia Ailamaki, Anthony Brockwell, Christos Faloutsos, and Gregory R. Ganger Carnegie Mellon University This work explores the applicatio...
110
click to vote
AROBOTS
1999
15 years 2 months ago
1999
Abstract. Classical conditioning is a basic learning mechanism in animals and can be found in almost all organisms. If we want to construct robots with abilities matching those of ...
128
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Learning event models from videos has applications ranging from abnormal event detection to content based video retrieval. Relational learning techniques such as Inductiv...
155
click to vote
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— This article presents a control architecture for controlling the locomotion of an amphibious snake/lamprey robot capable of swimming and serpentine locomotion. The control arch...