3965 search results - page 609 / 793 » Effectivity of Regular Spaces |
177
click to vote
TASE
2007
IEEE
16 years 26 days ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
175
click to vote
WACV
2007
IEEE
16 years 26 days ago
2007
IEEE
Facial feature localization is an important research area in both computer vision and pattern analysis. We present in this paper a hierarchical face model. It unifies both the gl...
175
click to vote
ADAPTIVE
2007
Springer
16 years 23 days ago
2007
Springer
Despite the fact that adaptive hypermedia techniques have proven their ability to provide user guidance and orientation in hyperspace, we do not currently see the widespread adopti...
171
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
In this paper we present an advanced bidding agent that participates in first-price sealed bid auctions to allocate advertising space on BluScreen – an experimental public adve...
215
click to vote
CCS
2007
ACM
16 years 23 days ago
2007
ACM
Draw a secret (DAS) is a representative graphical password scheme. Rigorous theoretical analysis suggests that DAS supports an overall password space larger than that of the ubiqu...