3664 search results - page 581 / 733 » Language Technology for eLearning |
167
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
166
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Despite the ready availability of digital recording technology and the continually decreasing cost of digital storage, browsing audio recordings remains a tedious task. This paper...
177
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
The perception of feeling cared for has beneficial consequences in education, psychotherapy, and medicine. Results from a longitudinal study of simulated caring by a computer are ...
255
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
Enterprise mashup scenarios often involve feeds derived from data created primarily for eye consumption, such as email, news, calendars, blogs, and web feeds. These data sources c...
246
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
The Cascadia system provides RFID-based pervasive computing applications with an infrastructure for specifying, extracting and managing meaningful high-level events from raw RFID ...