1670 search results - page 143 / 334 » On Skolemization in constructive theories |
132
click to vote
JUCS
2010
15 years 4 months ago
2010
: This paper presents a qualitative shape description scheme which has been defined in order to have a formal theory to allow the construction of new shapes from a set of given sha...
208
click to vote
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
An iterated function f(x) is a function that when composed with itself, produces a given expression f(f(x))=g(x). Iterated functions are essential constructs in fractal theory and...
352
click to vote
AML
2011
15 years 1 months ago
2011
In this paper we prove three theorems about the theory of Borel sets in models of ZF without any form of the axiom of choice. We prove that if B ⊆ 2ω is a Gδσ-set then either...
152
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Automatic construction of Shape Models from examples has been the focus of intense research during the last couple of years. These methods have proved to be useful for shape segme...
276
click to vote
GIS
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we describe work on the automatic recognition of island structures. In an initial phase several test persons were asked to mark groups of islands that they perceived...