2846 search results - page 33 / 570 » Believe it or Not |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We present here an elementary construction of an aperiodic tile set. Although there already exist dozens of examples of aperiodic tile sets we believe this construction introduces ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The ...
COLING
2010
13 years 4 months ago
2010
We go beyond simple propositional meaning extraction and present experiments in determining which propositions in text the author believes. We show that deep syntactic parsing hel...
SYNTHESE
2010
13 years 4 months ago
2010
In this paper I outline my conception of the epistemology of science, by reference to my published papers, showing how the ideas presented there fit together. In particular I disc...
CVPR
1996
IEEE
14 years 11 months ago
1996
IEEE
We evaluated six algorithms for computing egomotion from image velocities. We established benchmarks for quantifying bias and sensitivity to noise, and for quantifying the converg...