Sciweavers

10568 search results - page 1746 / 2114
» Computer Intelligence and Formalization
Sort
View
CP
2009
Springer
16 years 5 months ago
Constraint-Based Optimal Testing Using DNNF Graphs
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
Anika Schumann, Martin Sachenbacher, Jinbo Huang
CHI
2009
ACM
16 years 5 months ago
Automatic storytelling in comics: a case study on World of Warcraft
Chia-Jung Chan This paper presents a development of our comic generation system that automatically summarizes players' actions and interactions in the virtual world. The featu...
Chia-Jung Chan, Ruck Thawonmas, Kuan-Ta Chen
CHI
2008
ACM
16 years 5 months ago
Design, adoption, and assessment of a socio-technical environment supporting independence for persons with cognitive disabilitie
A significant fraction of persons with cognitive disabilities are potentially able to live more independently with the use of powerful tools embedded in their social environment. ...
Stefan Carmien, Gerhard Fischer
CHI
2005
ACM
16 years 5 months ago
Understanding email use: predicting action on a message
Email consumes significant time and attention in the workplace. We conducted an organizational survey to understand how and why people attend to incoming email messages. We examin...
Laura A. Dabbish, Robert E. Kraut, Susan R. Fussel...
CHI
2005
ACM
16 years 5 months ago
Topic spotting common sense translation assistant
Our Translation Assistant applies common sense logic to the problem of translating speech in real time from one language to another. Using speech recognition combined with a softw...
Jae-woo Chung, Rachel Kern, Henry Lieberman
« Prev « First page 1746 / 2114 Last » Next »