10568 search results - page 254 / 2114 » Computer Intelligence and Formalization |
126
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality betwe...
140
click to vote
AMAI
2000
Springer
15 years 3 months ago
2000
Springer
This is a prospective on the research in the intersection of mathematics and artificial intelligence that I see as having been the most important over the past 10 years and that I...
140
click to vote
CHI
2007
ACM
16 years 3 months ago
2007
ACM
In order to develop intelligent systems that attain the trust of their users, it is important to understand how users perceive such systems and develop those perceptions over time...
128
click to vote
CHI
2009
ACM
16 years 3 months ago
2009
ACM
Intelligent Tutoring Systems (ITSs) have been shown to have dramatic impact on student learning [9]. However, these gains have been mostly in topics in which the interface has bee...
140
click to vote
DIGRA
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes the preliminary research of an ambient intelligent system known as socioec(h)o. socio-ec(h)o explores the design and implementation of an ambient intelligent ...