1529 search results - page 121 / 306 » Search Space Analysis of the Linear Ordering Problem |
135
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
154
click to vote
NIPS
2004
15 years 5 months ago
2004
Embedding algorithms search for low dimensional structure in complex data, but most algorithms only handle objects of a single type for which pairwise distances are specified. Thi...
138
click to vote
PDCN
2004
15 years 5 months ago
2004
A novel combination of emergent algorithmic methods, powerful computational platforms and supporting infrastructure is described. These complementary tools and technologies are us...
123
click to vote
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
Epipolar image analysis is a robust method for 3D scene depth reconstruction that uses all available views of an image sequence simultaneously. It is restricted to horizontal, lin...
120
click to vote
ICIP
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper we discuss the feasibility of using singular points in a scale space representation (referred to as top points) for image matching purposes. These points are easily ...