9405 search results - page 979 / 1881 » Computing a Model of Set Theory |
202
click to vote
SEMCO
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we describe a hybrid approach to improving semantic extraction from news video. Experiments show the value of careful parameter tuning, exploiting multiple feature s...
247
click to vote
EMMCVPR
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. We propose a vector representation approach to contour estimation from noisy data. Images are modeled as random elds composed of a set of homogeneous regions contours (bo...
208
click to vote
ICCV
2009
IEEE
15 years 5 months ago
2009
IEEE
We present a novel Content Based Video Retrieval (CBVR) system, driven by free-hand sketch queries depicting both objects and their movement (via dynamic cues; streak-lines and ar...
199
click to vote
IPPS
2009
IEEE
16 years 2 months ago
2009
IEEE
We investigate the problem of converting sets of sensors into strongly connected networks of sensors using multiple directional antennae. Consider a set S of n points in the plane...
166
click to vote
ENTCS
2006
15 years 7 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...