1738 search results - page 40 / 348 » Local Consistency and SAT-Solvers |
FSTTCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
CVPR
2001
IEEE
14 years 9 months ago
2001
IEEE
This paper describes a face detection approach via learning local features. The key idea is that local features, being manifested by a collection of pixels in a local region, are ...
EVOW
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper presents a simple iterated local search metaheuristic incorporating a k-opt local search (KLS), called Iterated KLS (IKLS for short), for solving the maximum c...
3DIM
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we present a new algorithm to reconstruct 3D surfaces from an unorganized point cloud based on generalizing the MPU implicit algorithm through introducing a powerfu...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper introduces a rotation invariant extension to the blur insensitive local phase quantization texture descriptor. The new method consists of two stages, the first of whic...