1242 search results - page 150 / 249 » Benchmark Analysis with FaCT |
156
click to vote
POPL
2012
ACM
14 years 18 days ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
293
click to vote
CL
2012
Springer
13 years 7 months ago
2012
Springer
In object-oriented systems, runtime memory is composed of an object graph in which objects refer to other objects. This graph of objects evolves while the system is running. Graph...
173
click to vote
KDD
2012
ACM
13 years 7 months ago
2012
ACM
In recent years, mining frequent itemsets over uncertain data has attracted much attention in the data mining community. Unlike the corresponding problem in deterministic data, th...
213
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
In this article, we focus on the problem of large-scale instance-level image retrieval. For efficiency reasons, it is common to represent an image by a fixed-length descriptor w...
271
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
A large number of problems in computer vision can be modeled as energy minimization problems in a markov random field (MRF) framework. Many methods have been developed over the y...