5964 search results - page 376 / 1193 » A theory of speculative computation |
172
click to vote
HRI
2009
ACM
16 years 2 months ago
2009
ACM
We describe recent work on PECAS, an architecture for intelligent robotics that supports multi-modal interaction. Categories and Subject Descriptors I.2.8 [Computing Methodologies...
162
click to vote
STACS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. This paper solves the unambiguity and the sequentiality problem for polynomially ambiguous min-plus automata. This result is proved through a decidable algebraic characte...
179
click to vote
ICDCSW
2008
IEEE
16 years 2 months ago
2008
IEEE
In this position paper we investigate the security of cyberphysical systems. We (1) identify and define the problem of secure control, (2) investigate the defenses that informati...
157
click to vote
FCT
2007
Springer
16 years 1 months ago
2007
Springer
We give a classification of block-wise symmetric signatures in the theory of matchgate computations. The main proof technique is matchgate identities, a.k.a. useful Grassmann-Pl¨...
217
click to vote
ICIC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, a general framework of quantum-inspired multiobjective evolutionary algorithms is proposed based on the basic principles of quantum computing and general s...