7167 search results - page 1185 / 1434 » A Technique for Invariant Generation |
231
click to vote
MTA
2006
15 years 7 months ago
2006
The IST project Cuidado, which started in January 2001, aims at producing the first entirely automatic chain for extracting and exploiting musical metadata for browsing music. The...
209
click to vote
PAMI
2006
15 years 7 months ago
2006
In this paper, we present a new and efficient method to implement robust smoothing of low-level signal features: B-spline channel smoothing. This method consists of three steps: en...
220
click to vote
IEICET
2007
15 years 7 months ago
2007
The completeness (i.e. confluent and terminating) property is an important concept when using a term rewriting system (TRS) as a computational model of functional programming lang...
175
click to vote
IJCV
2007
15 years 7 months ago
2007
Many vision applications require high-accuracy dense disparity maps in real-time and online. Due to time constraint, most real-time stereo applications rely on local winner-takes-a...
226
click to vote
SIGMETRICS
2008
ACM
15 years 7 months ago
2008
ACM
This demo focuses on the online characterization and classification of Skype traffic, a very popular and fashionable VoIP application nowadays. Building over previous work on the ...