10891 search results - page 1910 / 2179 » Combining Model Reductions |
111
click to vote
ICCV
1995
IEEE
15 years 4 months ago
1995
IEEE
A general-purpose object indexingtechnique is described that combines the virtues of principal component analysis with the favorable matching properties of high-dimensional spaces...
118
Voted
ICMCS
1995
IEEE
15 years 4 months ago
1995
IEEE
– One approach to supporting continuous media traffic is via resource reservation at connection establishment time. The shortcomings of this approach are the lack of flexibility...
114
Voted
PLDI
1995
ACM
15 years 4 months ago
1995
ACM
Traditional list schedulers order instructions based on an optimistic estimate of the load latency imposed by the hardware and therefore cannot respond to variations in memory lat...
PPOPP
1995
ACM
15 years 4 months ago
1995
ACM
Low-overhead message passing is critical to the performance of many applications. Active Messages[27] reduce the software overhead for message handling: messages are run as handle...
98
Voted
CONCUR
1991
Springer
15 years 4 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...