3909 search results - page 578 / 782 » Extreme Model Checking |
251
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We address the problem of weakly supervised semantic segmentation. The training images are labeled only by the classes they contain, not by their location in the image. On test im...
208
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
174
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
184
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
We present a manifold learning approach to dimensionality
reduction that explicitly models the manifold as a mapping
from low to high dimensional space. The manifold is
represen...
160
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
We question the role that large scale filter banks have traditionally played in texture classification. It is demonstrated that textures can be classified using the joint distribu...