126 search results - page 17 / 26 » Definitional Trees |
CEFP
2009
Springer
14 years 9 months ago
2009
Springer
Programmers happily use induction to prove properties of recursive programs. To show properties of corecursive programs they employ coinduction, but perhaps less enthusiastically. ...
ICDAR
2009
IEEE
14 years 9 months ago
2009
IEEE
A new method of logo detection in document images is proposed in this paper. It is based on the boundary extension of feature rectangles of which the definition is also given in t...
127
click to vote
POPL
1991
ACM
15 years 3 months ago
1991
ACM
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
95
Voted
PODS
2004
ACM
15 years 12 months ago
2004
ACM
We present the Lixto project, which is both a research project in database theory and a commercial enterprise that develops Web data extraction (wrapping) and Web service definiti...
160
click to vote
ISEC
2001
Springer
15 years 4 months ago
2001
Springer
Over the past decade the Internet has evolved into the largest public community in the world. It provides a wealth of data content and services in almost every field of science, t...