6608 search results - page 1134 / 1322 » On the Completeness of Model Checking |
150
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Process variations make at-speed testing significantly more difficult. They cause subtle delay changes that are distributed rather than the localized nature of a trad...
135
click to vote
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper we propose a novel analog design optimization methodology to address two key aspects of top-down system-level design: (1) how to optimally compare and select analog ...
140
Voted
CVPR
2010
IEEE
16 years 15 days ago
2010
IEEE
Recent works have shown that 3D shape of non-rigid surfaces can be accurately retrieved from a single image given a set of 3D-to-2D correspondences between that image and another ...
119
click to vote
ACSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
—Recently a new human authentication scheme called PAS (predicate-based authentication service) was proposed, which does not require the assistance of any supplementary device. T...
152
Voted
DASFAA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. In many application domains, e.g. sensor databases, traffic management or recognition systems, objects have to be compared based on positionally and existentially uncert...