2366 search results - page 351 / 474 » Pfaffian Hybrid Systems |
260
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...
156
click to vote
ICPR
2008
IEEE
16 years 26 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...
190
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...
168
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...