10568 search results - page 184 / 2114 » Computer Intelligence and Formalization |
124
click to vote
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different applicati...
123
click to vote
CHI
2007
ACM
16 years 3 months ago
2007
ACM
We present a machine-learned model that can automatically detect when a student using an intelligent tutoring system is off-task, i.e., engaged in behavior which does not involve ...
119
click to vote
FDG
2009
ACM
15 years 9 months ago
2009
ACM
We propose a novel evaluation methodology for intelligent camera control systems based on established techniques of measuring story comprehension from cognitive psychology. The pr...
106
click to vote
CHI
2006
ACM
16 years 3 months ago
2006
ACM
Many online communities are emerging that, like Wikipedia, bring people together to build community-maintained artifacts of lasting value (CALVs). Motivating people to contribute ...
127
click to vote
ICPADS
2010
IEEE
15 years 24 days ago
2010
IEEE
Control decisions of intelligent devices in critical infrastructure can have a significant impact on human life and the environment. Insuring that the appropriate data is availabl...