4211 search results - page 757 / 843 » Types as Abstract Interpretations |
120
Voted
JIRS
2010
15 years 2 months ago
2010
Abstract This paper investigates simple and robust transparency-attainable control architectures for bilateral teleoperation. The strength of two-channel control architectures and ...
121
Voted
KES
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a first system to semi-automatically create a visual representation for a given, short text. We first parse the input text, decompose it into suitable units,...
127
Voted
MFCS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Visibly pushdown transducers (VPTs) form a strict subclass of pushdown transducers (PTs) that extends finite state transducers with a stack. Like visibly pushdown automa...
115
Voted
MIG
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Navigation meshes are commonly employed as a practical representation for path planning and other navigation queries in animated virtual environments and computer games. ...
123
Voted
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. A new trend in runtime system monitoring is to utilize MOFbased techniques in analyzing the runtime system data. Approaches and tools have been proposed to automatically ...