235 search results - page 36 / 47 » A Symbolic Symbolic State Space Representation |
AAAI
2006
14 years 11 months ago
2006
Partially observed actions are observations of action executions in which we are uncertain about the identity of objects, agents, or locations involved in the actions (e.g., we kn...
IJCAI
1989
14 years 10 months ago
1989
We review a neuroplanner architecture for use in constructing subcognitive controllers and new application that uses it. These controllers have wo important properties: (1) the ab...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
As a new branch of biometrics, palmprint authentication has attracted increasing amount of attention because palmprints are abundant of line features so that low resolution images...
73
Voted
FATES
2004
Springer
15 years 2 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
FORMATS
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...