4965 search results - page 585 / 993 » A Simple Abstraction for Data Modeling |
200
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
188
click to vote
TSMC
2010
15 years 1 months ago
2010
Abstract--This paper presents a new region-based unified tensor level set model for image segmentation. This model introduces a three-order tensor to comprehensively depict feature...
151
click to vote
ICCV
2009
IEEE
16 years 12 months ago
2009
IEEE
We present a novel variant of the RANSAC algorithm
that is much more efficient, in particular when dealing with
problems with low inlier ratios. Our algorithm assumes
that there...
174
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
Classification of real-world data poses a number of challenging problems. Mismatch between classifier models and true data distributions on one hand and the use of approximate inf...
171
click to vote
WSDM
2010
ACM
16 years 4 months ago
2010
ACM
In addition to the actual content Web pages consist of navigational elements, templates, and advertisements. This boilerplate text typically is not related to the main content, ma...