6020 search results - page 746 / 1204 » A New Approach to Model Counting |
216
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
We demonstrate a novel approach to modelling arbitrary temporally-deforming objects using spatio-temporal Fourier descriptors. This is a continuous boundary descriptor, which can ...
145
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Automated localization of software bugs is one of the essential issues in debugging aids. Previous studies indicated that the evaluation history of program predicates may disclose...
157
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
The approach proposed in this paper retrieves contours from transrectal ultrasound (TRUS) prostate images. The input images are sparsely annotated by radiologists for the purpose ...
198
click to vote
SRDS
2008
IEEE
16 years 1 months ago
2008
IEEE
The efficiency of service discovery is critical in the development of fully decentralized middleware intended to manage large scale computational grids. This demand influenced t...
162
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Media noise is the dominant noise that severely degrades the channel detector’s performance for high-density optical recording. In this paper, we first propose a simple but ...