2032 search results - page 28 / 407 » Computing Robustness and Persistence for Images |
EWSN
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Harsh deployment environments and uncertain run-time conditions create numerous challenges for postmortem time reconstruction methods. For example, motes often reboot and...
DATE
2002
IEEE
15 years 2 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
DAC
2000
ACM
15 years 10 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
ISTCS
1997
Springer
15 years 1 months ago
1997
Springer
Kearns introduced the "statistical query" (SQ) model as a general method for producing learning algorithms which are robust against classification noise. We extend this ...
68
Voted
ICCV
2009
IEEE
16 years 2 months ago
2009
IEEE
We propose a novel approach to unsupervised facial image
alignment. Differently from previous approaches, that
are confined to affine transformations on either the entire
face o...