15614 search results - page 190 / 3123 » The State of State |
136
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
143
Voted
ISSTA
1998
ACM
15 years 7 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
131
click to vote
SSPR
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Recently, a number of authors have explored the use of recursive recursive neural nets (RNN) for the adaptive processing of trees or tree-like structures. One of the most...
139
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we present a general revision model on epistemic states based on plausibility measures proposed by Friedman and Halpern. We propose our revision strategy and give so...
139
click to vote
ICONIP
2008
15 years 5 months ago
2008
The usually `accepted' limits of Steady State Visual Evoked Potentials are in the 3-60 Hz range. Recent studies reported SSVEP activities below 3 Hz, which remains a matter of...