1030 search results - page 46 / 206 » Partial Detectability Profiles |
STTT
2010
13 years 8 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
ISBI
2008
IEEE
14 years 10 months ago
2008
IEEE
The cortical folding patterns are very different from one individual to another. Here we try to find folding patterns automatically using large-scale datasets by non-supervised cl...
ECCV
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We propose a method for object category localization by partially matching edge contours to a single shape prototype of the category. Previous work in this area either re...
IDEAS
1999
IEEE
14 years 2 months ago
1999
IEEE
Data integration of several sources has gained considerable attentions with the recent popularity of the Web. In the real world, some information may be missing i.e., partial and ...
NSDI
2010
13 years 11 months ago
2010
Partial packet recovery protocols attempt to repair corrupted packets instead of retransmitting them in their entirety. Recent approaches have used physical layer confidence estim...