4224 search results - page 743 / 845 » Reasoning about Choice |
128
Voted
GIS
2010
ACM
14 years 10 months ago
2010
ACM
With modern LiDAR technology the amount of topographic data, in the form of massive point clouds, has increased dramatically. One of the most fundamental GIS tasks is to construct...
100
click to vote
DLOG
2009
14 years 10 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
84
Voted
SYNTHESE
2011
14 years 7 months ago
2011
: My aim in this paper is to articulate an account of scientific modeling that reconciles pluralism about modeling with a modest form of scientific realism. The central claim of th...
144
click to vote
NECO
2011
14 years 7 months ago
2011
The neocortex has a remarkably uniform neuronal organization, suggesting that common principles of processing are employed throughout its extent. In particular, the patterns of co...
106
Voted
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...