5326 search results - page 55 / 1066 » On what we can ensure |
80
Voted
ICCS
2005
Springer
15 years 6 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,...
98
Voted
SINOBIOMETRICS
2004
Springer
15 years 6 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...
87
Voted
FOSSACS
2008
Springer
15 years 2 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...
99
Voted
ICALP
2010
Springer
15 years 23 days 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...
119
click to vote
CVPR
2009
IEEE
16 years 7 months 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...