314 search results - page 35 / 63 » Generating Path Conditions for Timed Systems |
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a novel stochastic, adaptive strategy for tracking multiple people in a large network of video cameras. Similarities between features (appearance and biometrics) observ...
CONCUR
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
CADE
2003
Springer
16 years 2 days ago
2003
Springer
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...
107
click to vote
SIGMOD
2010
ACM
15 years 3 months ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
CEE
2007
14 years 11 months ago
2007
Real-time systems are often designed using preemptive scheduling and worst-case execution time estimates to guarantee the execution of high priority tasks. There is, however, an i...