Sciweavers

1712 search results - page 323 / 343
» Abstract Constraint Data Types
Sort
View
87
Voted
ICMI
2007
Springer
121views Biometrics» more  ICMI 2007»
15 years 6 months ago
A tactile language for intuitive human-robot communication
Abstract— This paper presents a tactile language for controlling a robot through its artificial skin. This language greatly improves the multimodal human-robot communication by ...
Andreas J. Schmid, Martin Hoffmann, Heinz Wör...
110
Voted
ADBIS
2005
Springer
101views Database» more  ADBIS 2005»
15 years 6 months ago
Conceptual Content Management for Software Engineering Processes
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...
Sebastian Bossung, Hans-Werner Sehring, Michael Sk...
CONCUR
2005
Springer
15 years 6 months ago
Concurrent Clustered Programming
d Abstract) Vijay Saraswat1 and Radha Jagadeesan2 1 IBM T.J. Watson Research Lab 2 School of CTI, DePaul University Abstract. We present the concurrency and distribution primitives...
Vijay A. Saraswat, Radha Jagadeesan
120
Voted
FM
2005
Springer
156views Formal Methods» more  FM 2005»
15 years 6 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
117
Voted
ACL
2000
15 years 1 months ago
Automatic Labeling of Semantic Roles
e, the system labels constituents with either abstract semantic roles such as AGENT or PATIENT, or more domain-specific semantic roles such as SPEAKER, MESSAGE, and TOPIC. The syst...
Daniel Gildea, Daniel Jurafsky