17288 search results - page 3162 / 3458 » Hybrid Optimizations: Which Optimization Algorithm to Use |
192
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
196
click to vote
TMC
2012
13 years 8 months ago
2012
—We present the boomerang protocol to efficiently retain information at a particular geographic location in a sparse network of highly mobile nodes without using infrastructure ...
231
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role...
160
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
We propose a method based on sparse representation
(SR) to cluster data drawn from multiple low-dimensional
linear or affine subspaces embedded in a high-dimensional
space. Our ...
191
click to vote
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
We propose a methodfor segmenting gray-value images. By segmentation, we mean a map from the set of pixels to a small set of levels such that each connected component of the set o...