246 search results - page 8 / 50 » Compactly generated domain theory |
138
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
117
click to vote
LICS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
101
click to vote
LICS
2000
IEEE
15 years 5 months ago
2000
IEEE
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...
118
click to vote
TPHOL
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
110
click to vote
SIGDOC
2004
ACM
15 years 6 months ago
2004
ACM
The concept of thumbnails is common in image representation. A thumbnail is a highly compressed version of an image that provides a small, yet complete visual representation to th...