4328 search results - page 315 / 866 » A New Kind of Science |
208
Voted
TARK
1992
Springer
15 years 11 months ago
1992
Springer
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
244
Voted
DILS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
191
click to vote
SIGCSE
2010
ACM
15 years 7 months ago
2010
ACM
Applying information and communication technologies to development (ICTD) is emerging as an interesting and motivating research area in computer science and engineering. It spans ...
181
click to vote
CSE
2008
IEEE
15 years 7 months ago
2008
IEEE
The Sloan Digital Sky Survey (SDSS) Data Archive Server (DAS) provides public access to over 12Tb of data in 17 million files produced by the SDSS data reduction pipeline. Many tas...
150
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we introduce socially relevant computing as a new way to reinvigorate interest in computer science. Socially relevant computing centers on the use of computation to...