2377 search results - page 353 / 476 » Hybrid Systems in TLA |
156
click to vote
ICPR
2002
IEEE
16 years 7 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 ...
258
click to vote
SIGMOD
2009
ACM
16 years 6 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...
155
click to vote
ICPR
2008
IEEE
16 years 24 days 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...
189
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 ...
155
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...