1496 search results - page 1 / 300 » Definability of Initial Segments |
NDJFL
2002
13 years 4 months ago
2002
In any nonstandard model of Peano arithmetic, the standard part is not first order definable. But we show that in some model the standard part is definable as the unique solution ...
MICCAI
2003
Springer
14 years 5 months ago
2003
Springer
We combine a new user initialization process with a B-spline snake to create a model with the properties of a deformable template. This `template' snake can be constrained by ...
COLING
1992
13 years 6 months ago
1992
In this paper, the authors address the significance and complexityof tokenization, the beginning step of NLP. Notions of word and token are discussed and defined from the viewpoin...
ISPW
2008
IEEE
13 years 11 months ago
2008
IEEE
Defining process standards by integrating, harmonizing, and standardizing heterogeneous and often implicit processes is an important task, especially for large development organiza...
TCS
2008
13 years 4 months ago
2008
It was proved few years ago that classes of Boolean functions definable by means of functional equations [9], or equivalently, by means of relational constraints [16], coincide wit...