7796 search results - page 86 / 1560 » On Generalized Schur Numbers |
89
Voted
ICTAI
1996
IEEE
15 years 4 months ago
1996
IEEE
In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between object...
104
Voted
CAV
2001
Springer
15 years 4 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...
96
Voted
AAAI
2007
15 years 3 months ago
2007
We present a general framework for determining the number of solutions of constraint satisfaction problems (CSPs) with a high precision. Our first strategy uses additional binary...
93
Voted
BIOCOMP
2006
15 years 2 months ago
2006
Systems biologic studies of gene and protein interaction networks have found that these networks are comprised of `modules' (groups of tightly interconnected nodes). Module i...
141
Voted
CVPR
2003
IEEE
16 years 2 months ago
2003
IEEE
Omnidirectional images arising from 3D-motion of a camera contain persistent structures over a large variation of motions because of their large field of view. This persistence ma...