17185 search results - page 45 / 3437 » Computational and Quantitative Studies |
176
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
We present a quantitative evaluation of SE-MinCut, a novel segmentation algorithm based on spectral embedding and minimum cut. We use human segmentations from the Berkeley Segment...
156
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
A major problem in the field of content-based image retrieval is the lack of a common performance measure which allows the researcher to compare different image retrieval systems ...
182
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
176
click to vote
FORMATS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
157
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
We propose a framework for quantitative security analysis of machine learning methods. Key issus of this framework are a formal specification of the deployed learning model and a...