2016 search results - page 18 / 404 » Some observations on HC-128 |
AUTOMATICA
2004
13 years 9 months ago
2004
In this paper, state observers for control systems with nonlinear outputs are studied. For such systems, the observability does not only depend on the initial conditions, but also...
ECCV
2008
Springer
14 years 11 months ago
2008
Springer
We observe that everyday images contain dozens of objects, and that humans, in describing these images, give different priority to these objects. We argue that a goal of visual rec...
APN
2005
Springer
14 years 3 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
ICRA
2008
IEEE
14 years 4 months ago
2008
IEEE
— The ability of building maps of environments where they operate is one of the main requirements for autonomous mobile robots. An efficient map building process is based on a g...
TPHOL
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...