3552 search results - page 559 / 711 » Proof theory in the abstract |
134
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
Sydney Shoemaker leads today's "neo-Lockean" liberation of persons from the conservative animalist charge of "neo-Aristotelians" such as Eric Olson, accord...
148
click to vote
TCOM
2008
15 years 6 months ago
2008
Abstract--A robust frequency-hopping system with noncoherent detection, iterative turbo decoding and demodulation, and channel estimation is presented. The data modulation is the s...
184
click to vote
TFS
2008
15 years 6 months ago
2008
Abstract-- We introduce a new way of looking at fuzzy intervals. Instead of considering them as fuzzy sets, we see them as crisp sets of entities we call gradual (real) numbers. Th...
124
click to vote
TIT
2008
15 years 6 months ago
2008
Abstract--The problem of state estimation with initial state uncertainty is approached from a statistical decision theory point of view. The initial state is regarded as determinis...
176
click to vote
TMI
2008
15 years 6 months ago
2008
Abstract-- This paper provides a comprehensive and quantitative review of spatial transformations models for nonrigid image registration. It explains the theoretical foundation of ...