2302 search results - page 312 / 461 » Testing as Abstraction |
171
click to vote
ACCV
2006
Springer
16 years 15 days ago
2006
Springer
Abstract. To develop statistical models for shapes, we utilize an elastic string representation where curves (denoting shapes) can bend and locally stretch (or compress) to optimal...
192
click to vote
ACCV
2006
Springer
16 years 15 days ago
2006
Springer
Abstract. This paper presents a fast algorithm for global motion estimation based on Iterative Least- Square Estimation (ILSE) technique. Compared with the traditional framework, t...
182
click to vote
ASPDAC
2006
ACM
16 years 15 days ago
2006
ACM
Abstract— Routing tree construction is a fundamental problem in modern VLSI design. In this paper we propose CDCTree, an Obstacle-Avoiding Rectilinear Steiner Minimum Tree (OARSM...
164
click to vote
ML
2006
ACM
16 years 14 days ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
145
click to vote
BROADNETS
2005
IEEE
16 years 4 days ago
2005
IEEE
Abstract— We explore network design principles for nextgeneration all-optical wide-area networks, employing light-trail technology. Light-trail [1] is a light-wave circuit that a...