139 search results - page 9 / 28 » Models of set theory with definable ordinals |
CIE
2008
Springer
13 years 9 months ago
2008
Springer
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...
IPMI
2005
Springer
14 years 8 months ago
2005
Springer
We present a method for segmenting white matter tracts from high angular resolution diffusion MR images by representing the data in a 5 dimensional space of position and orientatio...
EOR
2006
13 years 7 months ago
2006
This paper describes a framework for analysing matches in multiple data sets. The framework described is quite general and can be applied to a variety of problems where matches ar...
ADAC
2008
13 years 8 months ago
2008
We consider the problem of multiple fitting of linearly parametrized curves, that arises in many computer vision problems such as road scene analysis. Data extracted from images us...
TSP
2008
13 years 7 months ago
2008
In our paper titled "Algebraic Signal Processing Theory: Foundation and 1-D Time" appearing in this issue of the IEEE TRANSACTIONS ON SIGNAL PROCESSING, we presented the ...