4106 search results - page 181 / 822 » A Computational Model for Metric Spaces |
188
click to vote
IPPS
2005
IEEE
16 years 3 days ago
2005
IEEE
The problem of writing high performance parallel applications becomes even more challenging when irregular, sparse or adaptive methods are employed. In this paper we introduce com...
285
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
166
click to vote
ECCV
2000
Springer
16 years 8 months ago
2000
Springer
We improve the promising Colour by Correlation method for computational colour constancy by modifying it to work in a three dimensional colour space. The previous version of the al...
156
click to vote
SEUS
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper introduces a novel resource management approach based on personal service aggregations(PSAs) for smart spaces. As a smart space is usually a sharable system that simult...
164
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes a probabilistic approach to state space search. The presented method applies a ranking of the design states according to their probability of reaching a given...