Sciweavers

5456 search results - page 208 / 1092
» General Equilibrium Theory
Sort
View
CDC
2009
IEEE
137views Control Systems» more  CDC 2009»
15 years 11 months ago
Important moments in systems, control and optimization
— The moment problem matured from its various special forms in the late 19th and early 20th Centuries to a general class of problems that continues to exert profound influence o...
Christopher I. Byrnes, Anders Lindquist
ICCV
1998
IEEE
16 years 8 months ago
Visual Motion Estimation and Prediction: A Probabilistic Network Model for Temporal Coherence
We develop a theory for the temporal integration of visual motion motivated by psychophysical experiments. The theory proposes that input data are temporally grouped and used to p...
Alan L. Yuille, Pierre-Yves Burgi, Norberto M. Grz...
KR
2004
Springer
15 years 12 months ago
How to Interweave Knowledge about Object Structure and Concepts
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
Carola Eschenbach
TYPES
1999
Springer
15 years 10 months ago
Information Retrieval in a Coq Proof Library Using Type Isomorphisms
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
David Delahaye
GECCO
2006
Springer
137views Optimization» more  GECCO 2006»
15 years 10 months ago
Structure and metaheuristics
Metaheuristics have often been shown to be effective for difficult combinatorial optimization problems. The reason for that, however, remains unclear. A framework for a theory of ...
Yossi Borenstein, Riccardo Poli