10602 search results - page 36 / 2121 » Weakly Useful Sequences |
CSL
2010
Springer
13 years 10 months ago
2010
Springer
We present a new algorithm for model-checking weak monadic second-order logic on inductive structures, a class of structures of bounded clique width. Our algorithm directly manipul...
JCSS
2002
13 years 8 months ago
2002
The exact complexity of the weak pigeonhole principle is an old and fundamental problem in proof complexity. Using a diagonalization argument, Paris, Wilkieand Woods 16] showed ho...
ICCV
2009
IEEE
15 years 2 months ago
2009
IEEE
Visual categorization problems, such as object classification or action recognition,
are increasingly often approached using a detection strategy: a classifier function
is first ...
ICCV
2007
IEEE
14 years 11 months ago
2007
IEEE
In many vision problems, instead of having fully labeled training data, it is easier to obtain the input in small groups, where the data in each group is constrained to be from th...
FC
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents computationally “lightweight” schemes for performing biometric authentication that carry out the comparison stage without revealing any information that can...