Sciweavers

1375 search results - page 225 / 275
» Matching Points with Things
Sort
View
141
Voted
IFIP
2004
Springer
15 years 6 months ago
The Simply-typed Pure Pattern Type System Ensures Strong Normalization
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
Benjamin Wack
125
Voted
AVSS
2003
IEEE
15 years 5 months ago
A Scalable Image-Based Multi-Camera Visual Surveillance System
In this paper, we aim to achieve scalability and wider scene coverage through the use of multiple cameras in an outdoor visual surveillance system. Only image-based information is...
Ser-Nam Lim, Larry S. Davis, Ahmed M. Elgammal
93
Voted
ICCV
2003
IEEE
15 years 5 months ago
SVM-based Nonparametric Discriminant Analysis, An Application to Face Detection
Detecting the dominant normal directions to the decision surface is an established technique for feature selection in high dimensional classification problems. Several approaches...
Rik Fransens, Jan De Prins, Luc J. Van Gool
ISMIR
2003
Springer
125views Music» more  ISMIR 2003»
15 years 5 months ago
A scalable peer-to-peer system for music content and information retrieval
Currently a large percentage of Internet traffic consists of music files, typically stored in MP3 compressed audio format, shared and exchanged over Peer-to-Peer (P2P) networks....
George Tzanetakis, Jun Gao, Peter Steenkiste
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
15 years 5 months ago
HORUS - high-dimensional Model Order Reduction via low moment-matching upgraded sampling
— This paper describes a Model Order Reduction algorithm for multi-dimensional parameterized systems, based on a sampling procedure which incorporates a low order moment matching...
Jorge Fernandez Villena, Luis Miguel Silveira