4022 search results - page 612 / 805 » Adaptive Sweeping Techniques |
186
click to vote
ICCAD
2003
IEEE
16 years 4 months ago
2003
IEEE
Emerging VLSI technologies and platforms are giving rise to systems with inherently high potential for runtime failure. Such failures range from intermittent electrical and mechan...
160
click to vote
ICCAD
2002
IEEE
16 years 4 months ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
245
click to vote
Publication
Given a single image of an arbitrary road, that may not be well-paved, or have clearly delineated edges, or some a priori known color or texture distribution, is it possible for a ...
244
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Object localization in an image is usually handled by searching for an optimal subwindow that tightly covers the object of interest. However, the subwindows considered in previous ...
202
click to vote
CISIS
2010
IEEE
16 years 2 months ago
2010
IEEE
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...