5326 search results - page 55 / 1066 » On what we can ensure |
146
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Given two arc-annotated sequences (S, P) and (T, Q) representing RNA structures, the Arc-Preserving Subsequence (APS) problem asks whether (T, Q) can be obtained from (S,...
159
click to vote
SINOBIOMETRICS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. While face recognition from a single still image has been extensively studied over a decade, face recognition based on more than one still image, such as multiple still i...
142
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
We introduce a new decidable logic for reasoning about infinite arrays of integers. The logic is in the first-order fragment and allows (1) Presburger constraints on existentially...
165
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...
187
click to vote
CVPR
2009
IEEE
17 years 28 days ago
2009
IEEE
This paper discusses the question: Can we improve the recognition of objects by using their spatial context? We start from Bag-of-Words models and use the Pascal 2007 dataset. We u...