2187 search results - page 167 / 438 » Clustering with Interactive Feedback |
188
click to vote
TPHOL
2008
IEEE
16 years 23 days ago
2008
IEEE
We describe a tutorial that demonstrates the use of the ACL2 theorem prover. We have three goals: to enable a motivated reader to start on a path towards effective use of ACL2; to...
136
click to vote
ICALT
2007
IEEE
16 years 22 days ago
2007
IEEE
We developed AirTransNote, an interactive learning system augmented by digital pens and PDAs for each student. All notes written on regular paper sheets are immediately digitized ...
132
click to vote
INFOVIS
1995
IEEE
15 years 10 months ago
1995
IEEE
SelectiveDynamic Manipulation (SDM) is a paradigm for interacting with objects in visualizations, Its methodsoffer a high degree of selectivity, in choosing object sets, in the se...
148
click to vote
COST
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a study on multimodal conversation analysis of Greek TV interviews. Specifically, we examine the type of facial, hand and body gestures and their respective com...
176
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
When dialogue systems, through the use of incremental processing, are not bounded anymore by strict, nonoverlapping turn-taking, a whole range of additional interactional devices ...