Sciweavers

4403 search results - page 282 / 881
» Galois Theory of Algorithms
Sort
View
IJCAI
1989
15 years 7 months ago
Can Early Stage Vision Detect Topology
The apparent motion reveals what in an image that human vision detects first. Chen's assumption that early stage vision can percept global topology is proved incorrect in the...
Lifu Liu, Nanyuan Zhao, Bian Zhaoqi
ICASSP
2010
IEEE
15 years 6 months ago
Automatic detection of well sampled images via a new ringing measure
According to Shannon Sampling Theory, Fourier interpolation is the optimal way to reach subpixel accuracy from a properly-sampled digital image. However, for most images this inte...
Gwendoline Blanchet, Lionel Moisan, Bernard Roug&e...
CORR
2008
Springer
113views Education» more  CORR 2008»
15 years 6 months ago
Gaussian Belief Propagation Solver for Systems of Linear Equations
The canonical problem of solving a system of linear equations arises in numerous contexts in information theory, communication theory, and related fields. In this contribution, we ...
Ori Shental, Paul H. Siegel, Jack K. Wolf, Danny B...
CI
2006
94views more  CI 2006»
15 years 6 months ago
Against Optimality: Logical Foundations for Decision-Theoretic Planning in Autonomous Agents
This paper investigates decision-theoretic planning in sophisticated autonomous agents operating in environments of real-world complexity. An example might be a planetary rover ex...
John L. Pollock
ENTCS
2006
113views more  ENTCS 2006»
15 years 6 months ago
A Large-Scale Experiment in Executing Extracted Programs
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...
Luís Cruz-Filipe, Pierre Letouzey