Sciweavers

427 search results - page 41 / 86
» Who Pays for Content
Sort
View
SGAI
2005
Springer
15 years 11 months ago
Generating Feedback Reports for Adults Taking Basic Skills Tests
SkillSum is an Artificial Intelligence (AI) and Natural Language Generation (NLG) system that produces short feedback reports for people who are taking online tests which check th...
Ehud Reiter, Sandra Williams, Lesley Crichton
TFM
2004
Springer
118views Formal Methods» more  TFM 2004»
15 years 11 months ago
A Beginner's Course on Reasoning About Imperative Programs
Formal Methods teaching at undergraduate level has been going on at Manchester for a good number of years.We have introduced various courses based on different approaches.We have e...
Kung-Kiu Lau
ICDCSW
2003
IEEE
15 years 11 months ago
Using Service Brokers for Accessing Backend Servers for Web Applications
— Current Web servers use various API sets to access backend services. This model does not support service differentiation, overload control, caching of contents generated by bac...
Huamin Chen, Prasant Mohapatra
131
Voted
CHI
2009
ACM
15 years 10 months ago
Exploring participatory performance to inform the design of collaborative public interfaces
We describe a new application of interactive participatory performance in interaction design. Our pragmatic strategy permits us to use performance as an investigatory tool in the ...
Robyn Taylor, Pierre Boulanger, Patrick Olivier, J...
173
Voted
CIKM
1999
Springer
15 years 10 months ago
Metadata and Data Structures for the Historical Newspaper Digital Library
We examine metadata and data-structure issues for the Historical Newspaper Digital Library. This project proposes to digitize and then do OCR and linguisting processing on several...
Robert B. Allen, John Schalow