692 search results - page 90 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
117
click to vote
UM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Recent progress has been made by using sensors with Intelligent Tutoring Systems in classrooms in order to predict the affective state of students users. If tutors are a...
CHI
2010
ACM
15 years 6 months ago
2010
ACM
The blogosphere is changing how people experience war and conflict. We conducted an analysis of 125 blogs written by Iraqi citizens experiencing extreme disruption in their countr...
104
click to vote
COLING
1990
15 years 1 months ago
1990
One of the issues of Artificial Intelligence is the transfer of the knowledge conveyed by Natural Language into formalisms that a computer can interpret. In the Natural Language P...
116
click to vote
KBSE
2000
IEEE
15 years 4 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
142
click to vote
CGVR
2006
15 years 1 months ago
2006
ended abstract details previous methods for motion tracking and capture in 3D animation and in particular that of hand motion tracking and capture. Our research aims to enable ges...