4328 search results - page 105 / 866 » A New Kind of Science |
200
Voted
IJCAI
2003
15 years 7 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
209
click to vote
AOR
2006
15 years 6 months ago
2006
In this paper we briefly review the importance of LP (linear programming), and Dantzig's main contributions to OR (Operations Research), mathematics, and computer science. In...
187
click to vote
MMS
2010
15 years 4 months ago
2010
In this paper, we describe a pervasive treasure hunting game: “Team exploration” based on the Transhumance ad hoc wifi platform. The testers of this game came up with innovati...
146
click to vote
ISWC
1999
IEEE
15 years 10 months ago
1999
IEEE
Situated computing represents a new class of computing applications that bridges the gap between people's intentions and the actions they can take to achieve those intentions...
137
click to vote
SIGCSE
2004
ACM
15 years 11 months ago
2004
ACM
A meta-analysis is performed on the last twenty years of SIGCSE Technical Symposium Proceedings, looking for the kind of CS Educational Research that has been done at the CS1/CS2 ...