171 search results - page 26 / 35 » Efficient algorithms for interface timing verification |
100
Voted
IUI
2009
ACM
15 years 10 months ago
2009
ACM
Concept maps are an important tool to knowledge organization, representation, and sharing. Most current concept map tools do not provide full support for hand-drawn concept map cr...
106
click to vote
ICNP
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
128
click to vote
ECCV
2006
Springer
16 years 3 months ago
2006
Springer
One of the most exciting advances in early vision has been the development of efficient energy minimization algorithms. Many early vision tasks require labeling each pixel with som...
172
click to vote
ICIP
2009
IEEE
16 years 2 months ago
2009
IEEE
Fast level set methods replace continuous PDEs by a discrete formulation, improving the execution times. The regularization in fast level set methods was so far handled indirectly...
ISBI
2006
IEEE
16 years 2 months ago
2006
IEEE
Magnetic Resonance Imaging with non-Cartesian acquisition schemes suffer from blurring artifacts induced by offresonance. Conventional algorithms for off-resonance correction are ...