10271 search results - page 1630 / 2055 » Computer Science |
187
click to vote
ITP
2010
15 years 5 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
258
click to vote
SIGCSE
2010
ACM
15 years 5 months ago
2010
ACM
In this paper, we present a series of programming projects based on the Linux kernel for students in a senior-level undergraduate operating systems course. The projects we describ...
182
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
We analyze the social network emerging from the user comment activity on the website Slashdot. The network presents common features of traditional social networks such as a giant ...
155
click to vote
GECCO
2007
Springer
2007
Springer
Optimising the flow of experiments to a robot scientist with multi-objective evolutionary algorithms
16 years 29 days ago
A Robot Scientist is a physically implemented system that applies artificial intelligence to autonomously discover new knowledge through cycles of scientific experimentation. Ad...
165
click to vote
SIGECOM
2003
ACM
16 years 2 days ago
2003
ACM
We analyze data from 52 online in-game sports betting markets (where betting is allowed continuously throughout a game), including 34 markets based on soccer (European football) g...