4131 search results - page 506 / 827 » Compactness in Topology and Computation |
202
click to vote
AAAI
2008
15 years 8 months ago
2008
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
188
click to vote
GISCIENCE
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Current applications for wayfinding and navigation assistance usually calculate the route to a destination based on the shortest or fastest path from the origin. However...
163
click to vote
SIGIR
2010
ACM
15 years 7 months ago
2010
ACM
We present a novel approach to query reformulation which combines syntactic and semantic information by means of generalized Levenshtein distance algorithms where the substitution...
177
click to vote
CGF
2008
15 years 6 months ago
2008
We present a new and accurate method to render the atmosphere in real time from any viewpoint from ground level to outer space, while taking Rayleigh and Mie multiple scattering i...
183
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Designing and implementing efficient, provably correct parallel machine learning (ML) algorithms is challenging. Existing high-level parallel abstractions like MapReduce are insuf...