2632 search results - page 192 / 527 » Alternating Timed Automata |
129
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
An edge-colored directed graph is observable if an agent that moves along its edges is able to determine his position in the graph after a sufficiently long observation of the edge...
155
click to vote
SIGPRO
2008
15 years 4 months ago
2008
This paper introduces a novel method for real-time estimation of slowly varying parameters in nonlinear dynamical systems. The core concept is built upon the principles of symboli...
120
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
Available techniques for testing core-based systems-on-a-chip (SOCs) do not provide a systematic means for synthesising low-overhead test architectures and compact test solutions....
127
click to vote
TRANSCI
1998
15 years 4 months ago
1998
This paper explores some of the traffic phenomena that arise when drivers have to navigate a network in which queues back up past diverge intersections. If a diverge provides two ...
127
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Most people have long term information interests. Current Web search engines satisfy immediate information needs. Specific sites support tracking of long term interests. We prese...