461 search results - page 32 / 93 » Splitting NP-Complete Sets |
TITS
2010
13 years 5 months ago
2010
Abstract--In this paper, a new algorithm for vehicle logo recognition on the basis of an enhanced scale-invariant feature transform (SIFT)-based feature-matching scheme is proposed...
TACAS
2010
Springer
13 years 8 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
COMPGEOM
2011
ACM
13 years 2 months ago
2011
ACM
Given a continuous function f : X → IR on a topological space X, its level set f−1 (a) changes continuously as the real value a changes. Consequently, the connected components...
VIS
2007
IEEE
15 years 6 days ago
2007
IEEE
We present a powerful framework for 3D-texture-based rendering of multiple arbitrarily intersecting volumetric datasets. Each volume is represented by a multi-resolution octree-bas...
CVPR
2010
IEEE
14 years 7 months ago
2010
IEEE
Graph cuts methods are at the core of many state-of-theart algorithms in computer vision due to their efficiency in computing globally optimal solutions. In this paper, we solve t...