692 search results - page 28 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
AMDO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The paper presents an approach for matching objects in dynamic pedobarography image sequences, based on finite element modeling and modal analysis. The determination of c...
100
click to vote
TCOM
2010
14 years 10 months ago
2010
Abstract— Today, due to the vast amount of literature on largescale wireless networks, we have a fair understanding of the asymptotic behavior of such networks. However, in real ...
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
MICCAI
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Image segmentation is essential for many automated microscopy image analysis systems. Rather than treating microscopy images as general natural images and rushing into th...
MICCAI
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. This paper presents a new algorithm for non-rigid registration between two doubly-connected regions. Our algorithm is based on harmonic analysis and the theory of optimal...