4190 search results - page 92 / 838 » Implementing commitment-based interactions |
124
Voted
MC
2008
15 years 3 months ago
2008
The context of this work is usability engineering for multimodal interaction. In contrast to other work centrates on prototyping toolkits or abstract guidelines, this research foc...
103
click to vote
IVEVA
2004
15 years 3 months ago
2004
Abstract. Interactive storytelling (IS) is an incipient field that has not been completely formalized yet. There is still a significant amount of research to be done. Especially re...
ACL
1994
15 years 3 months ago
1994
Semantic feedback is an important source of information that a parser could use to deal with local ambiguities in syntax. However, it is difficult to devise a systematic communica...
120
Voted
AICOM
2010
15 years 2 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
107
click to vote
CG
2007
Springer
15 years 2 months ago
2007
Springer
In this paper we address interactive shape modelling of geometric shapes defined by mathematical functions. We introduce mathematical operators that implement modifications of g...