11168 search results - page 107 / 2234 » Abstract State Processes |
158
click to vote
GECCO
2010
Springer
15 years 4 months ago
2010
Springer
State machines are a popular method of representing a syshigh level of abstraction that enables developers to gain an overview of the system they represent and quickly understand ...
142
click to vote
UAI
2000
15 years 5 months ago
2000
Techniques for plan recognition under uncertainty require a stochastic model of the plangeneration process. We introduce probabilistic state-dependent grammars (PSDGs) to represen...
104
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
The detection of Steady-State Visual Evoked Potential (SSVEP) responses in the Electroencephalogram (EEG) is a current challenge in signal processing applied on Brain-Computer Int...
153
click to vote
RULEML
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Event processing rules may be prescribed in many different ways, including by finite state machines, graphical methods, ECA (event-conditionaction) rules or reactive rule...
161
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability with respect to a TBox in the logic ALCI using global state caching. ...