7661 search results - page 1268 / 1533 » Languages and the Computing Profession |
198
click to vote
ERSHOV
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Historically, dynamic techniques are the pioneers of the area of information flow in the 70's. In their seminal work, Denning and Denning suggest a static alternativ...
227
click to vote
ERSHOV
2009
Springer
15 years 5 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
228
click to vote
GI
2009
Springer
15 years 5 months ago
2009
Springer
: One of the most pressing issues in improving disaster management is that of information integration. With many organizations involved in the disaster, crossing regional or even n...
243
click to vote
HCI
2009
15 years 5 months ago
2009
This paper describes two affect-sensitive variants of an existing intelligent tutoring system called AutoTutor. The new versions of AutoTutor detect learners' boredom, confusi...
211
click to vote
HCI
2009
15 years 5 months ago
2009
The design and implementation of systems that combine both the utilities of the digital world as well as intrinsic affordances of traditional artifacts are challenging. In this pap...