3458 search results - page 42 / 692 » Abstracting Control |
CBSE
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
TCS
2008
13 years 8 months ago
2008
We investigate the decidability of observational equivalence and approximation in Reynolds' "Syntactic Control of Interference" (SCI), a prototypical functionalimpe...
ESOP
2010
Springer
14 years 21 days ago
2010
Springer
Abstract. In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and retu...
IJCNN
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— In this paper, an electroencephalogram (EEG)based brain computer interface (BCI) is proposed for two dimensional cursor control. The horizontal and vertical movements o...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract— We present successful control strategies for dynamically stable robots that avoid low ceilings and other vertical obstacles in a manner similar to limbo dances. Given t...