6167 search results - page 197 / 1234 » Can Refinement be Automated |
127
click to vote
APLAS
2008
ACM
15 years 7 months ago
2008
ACM
In this paper we propose a hierarchy of games that allows us to make a systematic comparison of process equivalences by characterizing process equivalences as games. The well-known...
112
click to vote
TCAD
2008
15 years 4 months ago
2008
ion for Asynchronous Design Verification Hao Zheng, Member, IEEE, Jared Ahrens, Tian Xia, Member, IEEE This paper presents a compositional method with preserving abstraction for sc...
170
click to vote
CVPR
2003
IEEE
16 years 7 months ago
2003
IEEE
We are building a system that can automatically acquire 3D range scans and 2D images to build geometrically and photometrically correct 3D models of urban environments. A major bo...
128
Voted
ECCV
2008
Springer
16 years 6 months ago
2008
Springer
We present a novel approach to 3D delineation of dendritic networks in noisy image stacks. We achieve a level of automation beyond that of stateof-the-art systems, which model dend...
125
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
A methodology using decoder banks is proposed for high-accuracy, fully automatic recognition of machine printed text across a wide range of challenging image qualities, without re...