3001 search results - page 49 / 601 » Recursive type generativity |
JLP
2000
14 years 11 months ago
2000
Generating query-answering plans for data integration systems requires to translate a user query, formulated in terms of a mediated schema, to a query that uses relations that are...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
In this paper, a recursive nonlinear filter exploiting trigonometric expansions of the past output samples is introduced. Its peculiarity is, in general, the ability to model rea...
ECCV
2002
Springer
16 years 1 months ago
2002
Springer
Abstract. This paper presents a theory for constructing and computing velocity-adapted scale-space filters for spatio-temporal image data. Starting from basic criteria in terms of ...
ISCAS
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— This paper considers designing in the minimax sense complementary low-pass/high-pass approximately linear-phase recursive filters with variable magnitude characteristi...
ESOP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...