5200 search results - page 781 / 1040 » Symbolic models for control systems |
242
click to vote
BTW
2007
Springer
16 years 1 months ago
2007
Springer
Abstract: We propose a new system that is able to handle the entire Personal Dataspace of a user. A Personal Dataspace includes all data pertaining to a user on all his disks and o...
167
click to vote
HASE
2007
IEEE
16 years 1 months ago
2007
IEEE
We study recent developments in quantum computing (QC) testing and fault tolerance (FT) techniques and discuss several attempts to formalize quantum logic fault models. We illustr...
214
click to vote
ECAL
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we describe a model in which artificial evolution is employed to design neural mechanisms that control the motion of two autonomous robots required to communicate th...
175
click to vote
ICANN
2005
Springer
16 years 24 days ago
2005
Springer
We report results of an interdisciplinary project which aims at endowing a real robot system with the capacity for learning by goaldirected imitation. The control architecture is b...
216
click to vote
PET
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...