Sciweavers

3116 search results - page 181 / 624
» Positively dependent types
Sort
View
COLING
1996
15 years 6 months ago
The discourse functions of Italian subjects: a centering approach
This paper examines the discourse fluictions that different types of subjects perform in Italian within the centering framework (Grosz el; al., 1995). I build on my previous work ...
Barbara Di Eugenio
RSA
1998
59views more  RSA 1998»
15 years 4 months ago
Random unary predicates: Almost sure theories and countable models
Let Un,p be the random unary predicate and Tk the almost sure first-order theory of Un,p under the linear ordering, where k is a positive integer and n−1/k p(n) n−1/(k+1) . F...
Joel Spencer, Katherine St. John
RSA
2010
81views more  RSA 2010»
15 years 3 months ago
Percolation of arbitrary words in one dimension
We consider a type of long-range percolation problem on the positive integers, motivated by earlier work of others on the appearance of (in)finite words within a site percolation...
Geoffrey R. Grimmett, Thomas M. Liggett, Thomas Ri...
CORR
2010
Springer
59views Education» more  CORR 2010»
15 years 2 months ago
1D Effectively Closed Subshifts and 2D Tilings
Michael Hochman showed that every 1D effectively closed subshift can be simulated by a 3D subshift of finite type and asked whether the same can be done in 2D. It turned out that t...
Bruno Durand, Alexander Shen, Andrei E. Romashchen...
CVPR
2010
IEEE
16 years 1 months ago
A Game-Theoretic Approach to Fine Surface Registration without Initial Motion Estimation
Surface registration is a fundamental step in the reconstruction of three-dimensional objects. This is typically a two step process where an initial coarse motion estimation is fo...
Andrea Albarelli, Andrea Torsello, Emanuele Rodol