3742 search results - page 507 / 749 » On the Use of Formal Techniques for Validation |
192
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
In earlier work, we proposed treating wide baseline matching of feature points as a classification problem, in which each class corresponds to the set of all possible views of suc...
181
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
The Bayesian filtering for recursive state estimation and the shape-based matching methods are two of the most commonly used approaches for target tracking. The Multiple Hypothesi...
172
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
Fuzzy vault has been shown to be an effective technique for securing fingerprint minutiae templates. Its security depends on the difficulty in identifying the set of genuine minut...
140
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
In this paper we show that financial information can be used to sense many aspects of human activity. This simple technique gives people information about their daily lives, is ea...
169
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
With the increased use of embedded/portable devices such as smart cellular phones, pagers, PDAs, hand-held computers, and CD players, improving energy efficiency is becoming a cri...