2648 search results - page 175 / 530 » Worlds, Models, and KM |
198
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
198
click to vote
JMLR
2010
15 years 1 months ago
2010
An exceedingly large number of scientific and engineering fields are confronted with the need for computer simulations to study complex, real world phenomena or solve challenging ...
189
click to vote
MIG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Navigational performance of artificial intelligence (AI) characters in computer games is gaining an increasingly important role in the perception of their behavior. Whil...
167
click to vote
AIED
2005
Springer
16 years 2 days ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
165
click to vote
ITICSE
2004
ACM
15 years 12 months ago
2004
ACM
Learning to program is a unique experience for each student, and it is not fully understood why one person in an introductory programming course learns to program better and more ...