3552 search results - page 443 / 711 » Proof theory in the abstract |
187
click to vote
FUIN
2010
15 years 4 months ago
2010
Abstract. Cellular automata have rich computational properties and, at the same time, provide plausible models of physics-like computation. We study decidability issues in the phas...
192
click to vote
TMC
2011
15 years 1 months ago
2011
Abstract—We study routing overhead due to location information collection and retrieval in mobile ad-hoc networks employing geographic routing with no hierarchy. We first provid...
158
click to vote
JUCS
2010
15 years 1 months ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
150
click to vote
SYMMETRY
2010
15 years 1 months ago
2010
Abstract: The vertices of regular four-dimensional polytopes are used to generate sets of uniformly distributed three-dimensional rotations, which are provided as tables of Euler a...
183
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract: We propose a novel probabilistic method for detection of objects in noisy images. The method uses results from percolation and random graph theories. We present an algori...