4211 search results - page 70 / 843 » Types as Abstract Interpretations |
111
click to vote
CG
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes on-going work in the analysis of motion dynamics in pen-based interaction. The overall goal is the creation of a model of user motion in pen gestures where co...
105
Voted
COLING
2002
15 years 3 months ago
2002
: Motivated by a systematic representation of the Chinese aspect forms that explores their intrinsic semantics and temporal logical relations, we are constructing a Chinese aspect ...
117
Voted
COLING
2010
14 years 10 months ago
2010
Metaphorical and contextual affect detection from open-ended text-based dialogue is challenging but essential for the building of effective intelligent user interfaces. In this pa...
145
Voted
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstractions Aziem Chawdhary1 , Byron Cook2 , Sumit Gulwani2 , Mooly Sagiv3 , and Hongseok Yang1 1 Queen Mary, University of London 2 Microsoft Research 3 Tel Aviv University Abstr...
125
click to vote
SIGSOFT
1996
ACM
15 years 7 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...