2009 search results - page 200 / 402 » Dense Interest Points |
170
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
167
click to vote
LOCA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We propose a novel model-based approach to activity recognition using high-level primitives that are derived from a human body model estimated from sensor data. Using sho...
178
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we investigate automated methods for externalizing internal memory data structures. We consider a class of balanced trees that we call weight-balanced parti...
161
click to vote
IFL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. J. Launchbury gave an operational semantics for lazy evaluation and showed that it is sound and complete w.r.t. a denotational s of the language. P. Sestoft then introduc...
161
click to vote
IWANN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The Frequency Assignment Problem (FAP) is a very important problem of practical interest. This work compares several evolutionary approaches to this problem, based both i...