13784 search results - page 2330 / 2757 » On Computing Functions with Uncertainty |
173
click to vote
COMPGEOM
2004
ACM
16 years 12 days ago
2004
ACM
We present a new algorithm for unfolding planar polygonal linkages without self-intersection based on following the gradient flow of a “repulsive” energy function. This algor...
214
click to vote
MM
2004
ACM
16 years 12 days ago
2004
ACM
Automatic image annotation is a promising solution to enable semantic image retrieval via keywords. In this paper, we propose a multi-level approach to annotate the semantics of n...
165
click to vote
SIGECOM
2004
ACM
16 years 11 days ago
2004
ACM
Lack of cooperation (free riding) is one of the key problems that confronts today’s P2P systems. What makes this problem particularly difficult is the unique set of challenges ...
203
click to vote
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
16 years 11 days ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
163
click to vote
AMAI
2004
Springer
16 years 11 days ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...