Sciweavers

1466 search results - page 225 / 294
» Completeness of the Authentication Tests
Sort
View
TRECVID
2007
13 years 9 months ago
ENST/UOB/LU@TRECVID2007 HIGH LEVEL FEATURE EXTRACTION USING 2-LEVEL PIECEWISE GMM
We describe a high level feature extraction system for video. Video sequences are modeled using Gaussian Mixture Models. We have used those models in the past to segment video seq...
George Yazbek, Georges Kfoury, Gabriel Alam, Chafi...
CVPR
2010
IEEE
13 years 9 months ago
Player Localization Using Multiple Static Cameras for Sports Visualization
We present a novel approach for robust localization of multiple people observed using multiple cameras. We use this location information to generate sports visualizations, which i...
Raffay Hamid, Ramkrishan Kumar, Matthias Grundmann...
CADE
2010
Springer
13 years 9 months ago
A Slice-Based Decision Procedure for Type-Based Partial Orders
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
Elena Sherman, Brady J. Garvin, Matthew B. Dwyer
CEC
2010
IEEE
13 years 9 months ago
Evolving cascades of voting feature detectors for vehicle detection in satellite imagery
We propose an evolutionary method for detection of vehicles in satellite imagery which involves a large number of simple elementary features and multiple detectors trained by genet...
Krzysztof Krawiec, Bartosz Kukawka, Tomasz Macieje...
ECCV
2010
Springer
13 years 9 months ago
Intrinsic Regularity Detection in 3D Geometry
Abstract. Automatic detection of symmetries, regularity, and repetitive structures in 3D geometry is a fundamental problem in shape analysis and pattern recognition with applicatio...
Niloy J. Mitra, Alexander M. Bronstein, Michael M....