1941 search results - page 252 / 389 » Reasoning about Computations Using Two-Levels of Logic |
161
Voted
GIS
2010
ACM
15 years 1 months ago
2010
ACM
With modern LiDAR technology the amount of topographic data, in the form of massive point clouds, has increased dramatically. One of the most fundamental GIS tasks is to construct...
140
Voted
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
While great strides have been made in detecting and localizing specific objects in natural images, the bottom-up segmentation of unknown, generic objects remains a difficult chall...
138
Voted
AINA
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a framework for specifying Web services communities. A Web service is an accessible application that humans, software agents, and other applications in general ...
120
Voted
FUIN
2010
15 years 2 months ago
2010
From an empirical point of view, the hardness of quantified Boolean formulas (QBFs), can be characterized by the (in)ability of current state-of-the-art QBF solvers to decide abo...
175
click to vote
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
In this paper we introduce visual phrases, complex visual composites like “a person riding a horse”. Visual phrases often display significantly reduced visual complexity comp...