4693 search results - page 465 / 939 » Verifying Hybrid Systems |
163
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper considers networks consisting of integral input-to-state stable (iISS) subsystems and addresses the problem of verifying iISS property of a given network. First, we ...
211
click to vote
ISMIR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, the problem of processing audio signals is addressed in the context of query-by-humming systems. Since singing is naturally used as input, we aim to develop a front...
197
Voted
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Monitoring the performance of a network by which a real-time distributed system is connected is very important. If the system is adaptive or dynamic, the resource manager can use t...
194
Voted
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Adaptivity in Process Management Systems (PMS) is key to their successful applicability in pratice. Approaches have already been developed to ensure the system correctness after ar...
203
click to vote
CLEAR
2006
Springer
15 years 10 months ago
2006
Springer
The evaluation results of a system for tracking humans in surveillance videos are presented. Moving blobs are detected based on adaptive background modeling. A shape based multi-vi...