4693 search results - page 570 / 939 » Verifying Hybrid Systems |
174
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
Most biological systems employ visually acquired information for their locomotion. In the course of evolutionary history, the visual system of organisms has evolved to be adapted ...
285
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
DejaVu is an event processing system that integrates declarative pattern matching over live and archived streams of events on top of a novel system architecture. We propose to dem...
163
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Speaker recognition systems, even though they have been around for four decades, have not been widely considered as standalone systems for biometric security because of their unac...
213
click to vote
FPGA
2000
ACM
15 years 10 months ago
2000
ACM
This paper presents a benchmark suite for evaluating a configurable computing system's infrastructure, both tools and architecture. A novel aspect of this work is the use of ...
176
click to vote
AI
1999
Springer
15 years 6 months ago
1999
Springer
While terminology and some concepts of behavior-based robotics have become widespread, the central ideas are often lost as researchers try to scale behavior to higher levels of co...