9405 search results - page 285 / 1881 » Computing a Model of Set Theory |
149
click to vote
POPL
2012
ACM
14 years 6 days ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
144
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
124
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
A technique for extracting intrinsic images, including the reflectance and illumination images, from a single color image is presented. The technique first convolves the input ima...
154
click to vote
SBBD
2004
15 years 6 months ago
2004
Multi-valued dependencies (MVDs) are an important class of constraints that is fundamental for relational database design. Although modern applications increasingly require the su...
147
click to vote
TCS
2011
14 years 11 months ago
2011
We propose a formal definition of Wolfram’s notion of computational process based on iterated transducers together with a weak observer, a model of computation that captures so...