7311 search results - page 64 / 1463 » Time in State Machines |
121
click to vote
ASYNC
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper presents new timing analysis algorithms for efficient state space exploration during timed circuit synthesis. Timed circuits are a class of asynchronous circuits that i...
120
click to vote
DEDS
2006
15 years 3 months ago
2006
In this paper, we propose a method for building the state class graph of a bounded time Petri net (TPN) as a timed automaton (TA), which we call the state class timed automaton. We...
136
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— We present a novel observer design for a class of single-output nonlinear systems with Markov jumps. The Markov jump process interferes with a deterministic nonlinear dynamics ...
117
click to vote
TPDS
2002
15 years 3 months ago
2002
This paper discusses a new work-scheduling algorithm for parallel search of single-agent state spaces, called Transposition-Table-Driven Work Scheduling, that places the transposit...
145
click to vote
ICML
2005
IEEE
16 years 4 months ago
2005
IEEE
We prove a quantitative connection between the expected sum of rewards of a policy and binary classification performance on created subproblems. This connection holds without any ...