2312 search results - page 289 / 463 » Invariance in Property Testing |
FMICS
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
MCS
2005
Springer
14 years 4 months ago
2005
Springer
Mixed Group Ranks is a parametric method for combining rank based classi ers that is eective for many-class problems. Its parametric structure combines qualities of voting methods...
CVPR
2009
IEEE
15 years 5 months ago
2009
IEEE
We propose a new bilateral filtering algorithm with computational
complexity invariant to filter kernel size, socalled
O(1) or constant time in the literature. By showing
that a...
ICCV
2009
IEEE
15 years 3 months ago
2009
IEEE
Our objective is to obtain a state-of-the art object category
detector by employing a state-of-the-art image classifier
to search for the object in all possible image subwindows....
CVPR
2007
IEEE
15 years 20 days ago
2007
IEEE
The task of registering video frames with a static model is a common problem in many computer vision domains. The standard approach to registration involves finding point correspo...