14078 search results - page 2245 / 2816 » Design and Analysis of Computer Algorithms |
182
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
16 years 1 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
191
click to vote
ICDCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Uniform random sample is often useful in analyzing data. Usually taking a uniform sample is not a problem if the entire data resides in one location. However, if the data is distr...
200
click to vote
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Many distributed real-time systems face the challenge of dynamically maximizing system utility and meeting stringent resource constraints in response to fluctuations in system wo...
176
click to vote
SMI
2007
IEEE
16 years 1 months ago
2007
IEEE
We address the 3D object retrieval problem using multivariate density-based shape descriptors. Considering the fusion of first and second order local surface information, we cons...
193
click to vote
CIVR
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a comparative study of methods for video copy detection. Different state-of-the-art techniques, using various kinds of descriptors and voting functions, are d...