14386 search results - page 165 / 2878 » The Chinese Generals Problem |
131
click to vote
CAV
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
157
Voted
CVPR
2009
IEEE
2009
IEEE
Fourier analysis and Gabor filtering for texture analysis and local reconstruction of general shapes
15 years 7 months ago
Since the pioneering work of Gibson in 1950, ShapeFrom-Texture has been considered by researchers as a hard problem, mainly due to restrictive assumptions which often limit its ap...
117
click to vote
AIIA
2007
Springer
15 years 5 months ago
2007
Springer
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...
126
click to vote
IPCO
2007
15 years 5 months ago
2007
We study the Master Equality Polyhedron (MEP) which generalizes the Master Cyclic Group Polyhedron and the Master Knapsack Polyhedron. We present an explicit characterization of t...
147
click to vote
IJCAI
2003
15 years 5 months ago
2003
In [Jegou, 1993], a decomposition method has been introduced for improving search efficiency in the area of Constraint Satisfaction Problems. This method is based on properties of...