7311 search results - page 369 / 1463 » Time in State Machines |
193
click to vote
ICALP
1998
Springer
15 years 11 months ago
1998
Springer
The complexity of LTrL, a global linear time temporal logic over traces is investigated. The logic is global because the truth of a formula is evaluated in a global state, also ca...
173
click to vote
IUI
2004
ACM
16 years 1 months ago
2004
ACM
We introduce a new intelligent user interface (IUI) and, also, a new methodology to identify the fatigue state for healthy subjects. The fatigue state is determined by means of a ...
238
click to vote
SPIN
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
198
click to vote
ICML
2006
IEEE
16 years 8 months ago
2006
IEEE
The recent Predictive Linear Gaussian model (or PLG) improves upon traditional linear dynamical system models by using a predictive representation of state, which makes consistent...
182
click to vote
ICML
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper presents a novel framework called proto-reinforcement learning (PRL), based on a mathematical model of a proto-value function: these are task-independent basis function...