641 search results - page 112 / 129 » Formal Reliability Analysis Using Theorem Proving |
CODES
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we are concerned about the performance estimation of bus-based architectures assuming that the task partitioning on the processing components is already determined....
TOG
2008
13 years 8 months ago
2008
Object motion during camera exposure often leads to noticeable blurring artifacts. Proper elimination of this blur is challenging because the blur kernel is unknown, varies over t...
TIP
2008
13 years 8 months ago
2008
We consider the problem of detecting object contours in natural images. In many cases, local luminance changes turn out to be stronger in textured areas than on object contours. Th...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
Behavior understanding and semantic interpretation of dynamic visual scenes have attracted a lot of attention in computer vision research community. Although the use of surveillan...
SIGSOFT
2006
ACM
14 years 2 months ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...