Sciweavers

1523 search results - page 117 / 305
» The Computational Complexity of Linear Optics
Sort
View
CSL
2005
Springer
15 years 9 months ago
Permutative Logic
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...
Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet
114
Voted
MP
2008
135views more  MP 2008»
15 years 3 months ago
A path to the Arrow-Debreu competitive market equilibrium
: We present polynomial-time interior-point algorithms for solving the Fisher and Arrow-Debreu competitive market equilibrium problems with linear utilities and n players. Both of ...
Yinyu Ye
156
Voted
ECCV
2000
Springer
16 years 5 months ago
Stochastic Tracking of 3D Human Figures Using 2D Image Motion
A probabilistic method for tracking 3D articulated human figures in monocular image sequences is presented. Within a Bayesian framework, we define a generative model of image appea...
Hedvig Sidenbladh, Michael J. Black, David J. Flee...
AVSS
2006
IEEE
15 years 9 months ago
The Role of Motion Models in Super-Resolving Surveillance Video for Face Recognition
Although the use of super-resolution techniques has demonstrated the ability to improve face recognition accuracy when compared to traditional upsampling techniques, they are difï...
Frank Lin, Clinton Fookes, Vinod Chandran, Sridha ...
137
Voted
IAT
2006
IEEE
15 years 9 months ago
A Multi-stage Graph Decomposition Algorithm for Distributed Constraint Optimisation
In this paper, we propose a novel approach to solving the distributed constraint optimisation problem (DCOP) that guarantees completeness, while having linear communication comple...
Terence H.-W. Law, Adrian R. Pearce