10568 search results - page 350 / 2114 » Computer Intelligence and Formalization |
154
click to vote
AAAI
2000
15 years 5 months ago
2000
Although one of the fundamental goals of AI is to understand and develop intelligent systems that have all of the capabilities of humans, there is little active research directly ...
115
click to vote
FLAIRS
2007
15 years 6 months ago
2007
Macalester College offers a single undergraduate elective in artificial intelligence. This course is cross-listed between Computer Science and Cognitive and Neuroscience Studies,...
122
Voted
SAC
2006
ACM
15 years 10 months ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ...
143
click to vote
AAAI
2006
15 years 5 months ago
2006
We summarize the continuous thread of research we have conducted over the past thirty years on human-computer collaboration. This research reflects many of the themes and issues i...
123
click to vote
AAAI
2006
15 years 5 months ago
2006
In this paper, we describe a computer-supported cooperative learning system in education and the results of its deployment. The system, called I-MINDS, consists of a set of teache...