744 search results - page 14 / 149 » Observations on the Decidability of Transitions |
DAC
1994
ACM
14 years 1 months ago
1994
ACM
Previous attempts to capture the phenomenon of output don't care sequencesfor a componentin an FSM network have been incomplete. We demonstrate that output don't care se...
AUTOMATICA
2010
13 years 9 months ago
2010
The paper presents an algebraic characterization of observability and span-reachability of bilinear hybrid systems without guards, i.e. hybrid systems whose continuous dynamics is...
TACAS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct c...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we propose a new circuit transformation technique in conjunction with the use of a special diagnostic test pattern, named SO-SLAT pattern, to achieve higher multipl...
MMM
2011
Springer
13 years 21 days ago
2011
Springer
In this paper, a new smooth slideshow transition effect, Sewing Photos, is proposed while considering both of smooth content transition and smooth camera motion. Comparing to the ...