376 search results - page 4 / 76 » Developing Theories of Types and Computability via Realizabi... |
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
Flat refractive geometry corresponds to a perspective camera looking through single/multiple parallel flat refractive mediums. We show that the underlying geometry of rays corres...
FSTTCS
2000
Springer
13 years 11 months ago
2000
Springer
This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which condition...
FOCI
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— This paper presents a new development of selforganizing maps (SOM), realized by combining them with the idea of a modular network. This we called a modular network SOM ...