2632 search results - page 149 / 527 » Alternating Timed Automata |
128
click to vote
ENTCS
2006
15 years 4 months ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
171
click to vote
IPL
2008
15 years 4 months ago
2008
Abstract. We establish linear-time reductions between the minimization of a deterministic finite automaton (DFA) and the conjunction of 3 subproblems: the minimization of a strongl...
147
click to vote
CAMP
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Robot vision systems notoriously require large computing capabilities, rarely available on physical devices. Robots have limited embedded hardware, and almost all senso...
129
click to vote
BC
2004
15 years 4 months ago
2004
Abstract. Perceptual multistability, alternative perceptions of an unchanging stimulus, gives important clues to neural dynamics. The present study examined 56 perceptual dominance...
117
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
Abstract— This paper presents a post-route, timingconstrained gate-sizing algorithm for crosstalk reduction. Gate-sizing has emerged as a practical and feasible method to reduce ...