882 search results - page 142 / 177 » On self-embeddings of computable linear orderings |
107
Voted
AIPS
2008
15 years 2 months ago
2008
In the planning-as-SAT paradigm there have been numerous recent developments towards improving the speed and scalability of planning at the cost of finding a step-optimal parallel...
106
Voted
NIPS
2007
15 years 1 months ago
2007
It is becoming increasingly evident that organisms acting in uncertain dynamical environments often employ exact or approximate Bayesian statistical calculations in order to conti...
115
click to vote
EUROPAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper is motivated by the desire to provide an efficient and scalable software cache implementation of OpenMP on multicore and manycore architectures in general, and...
110
Voted
CGF
2008
15 years 19 days ago
2008
We present a new, real-time method for rendering soft shadows from large light sources or lighting environments on dynamic height fields. The method first computes a horizon map f...
108
click to vote
BMCBI
2005
15 years 12 days ago
2005
Background: Many cutting-edge microarray analysis tools and algorithms, including commonly used limma and affy packages in Bioconductor, need sophisticated knowledge of mathematic...