6608 search results - page 1263 / 1322 » On the Completeness of Model Checking |
161
Voted
WECWIS
2003
IEEE
15 years 8 months ago
2003
IEEE
The huge success of eBay has proven the demand for customer-to-customer (C2C) electronic commerce. eBay is a centralized infrastructure with all its scalability problems (network ...
140
Voted
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Image matching is an essential task in many computer vision applications. It is obvious that thorough utilization of all available information is critical for the success of match...
124
click to vote
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
We propose a novel framework for consistent correspondence between arbitrary manifold meshes. Different from most existing methods, our approach directly maps the connectivity of ...
129
click to vote
ECCV
2000
Springer
16 years 5 months ago
2000
Springer
Abstract. This paper addresses the problem of motion estimation and reconstruction of 3D models from profiles of an object rotating on a turntable, obtained from a single camera. I...
207
Voted
ICDE
2007
IEEE
16 years 4 months ago
2007
IEEE
To retrieve similar database videos to a query clip, each video is typically represented by a sequence of highdimensional feature vectors. Given a query video containing m feature...