5377 search results - page 886 / 1076 » Programming Languages For Interactive Computing |
150
Voted
NFM
2011
14 years 10 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
118
Voted
ICTAC
2004
Springer
15 years 8 months ago
2004
Springer
onnectivity and Full Abstraction for a Concurrent Calculus of Classes⋆ nded Abstract — Erika ´Abrah´am2 , Marcello M. Bonsangue3 , Frank S. de Boer4 , and Martin Steffen1 1 ...
124
Voted
IUI
2003
ACM
15 years 8 months ago
2003
ACM
This paper describes lessons learned in developing the linguistic, cognitive, emotional, and gestural models underlying virtual human behavior in a training application designed t...
131
Voted
COLING
2002
15 years 3 months ago
2002
Language users have individual linguistic styles. A spoken dialogue system may benefit from adapting to the linguistic style of a user in input analysis and output generation. To ...
136
Voted
HRI
2006
ACM
15 years 9 months ago
2006
ACM
Programming robots to carry out useful tasks is both a complex and non-trivial exercise. A simple and intuitive method to allow humans to train and shape robot behaviour is clearl...