5634 search results - page 221 / 1127 » About Abstract Classes |
ALT
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. Blum and Blum (1975) showed that a class B of suitable recursive approximations to the halting problem is reliably EX-learnable. These investigations are carried on by sh...
81
Voted
DOOD
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. A simple model for method-based authorization is defined and an algorithm is presented for testing in compile-time whether a given database schema violates authorization...
71
Voted
CLEF
2010
Springer
15 years 22 days ago
2010
Springer
In the context of the CLEF-IP 2010 classification task, we conducted a series of experiments with the Linguistic Classification System (LCS). We compared ment representations for p...
113
click to vote
ECCV
2010
Springer
15 years 22 days ago
2010
Springer
Abstract. This paper presents an exemplar-based approach to detecting and localizing human actions, such as running, cycling, and swinging, in realistic videos with dynamic backgro...
89
Voted
ACTA
2007
14 years 11 months ago
2007
Abstract This paper introduces the notion of well-structured language. A wellstructured language can be defined by a labelled well-structured transition system, equipped with an u...