Sciweavers

1058 search results - page 171 / 212
» Using Different Representations of Synchronous Systems in SA...
Sort
View
NETWORKING
2010
15 years 8 months ago
Bidirectional Range Extension for TCAM-Based Packet Classification
Abstract. Packet classification is a fundamental task for network devices such as edge routers, firewalls, and intrusion detection systems. Currently, most vendors use Ternary Cont...
Yan Sun, Min Sik Kim
ICASSP
2010
IEEE
15 years 6 months ago
A comparative study of tonal acoustic features for a symbolic level music-to-score alignment
In this paper we review the acoustic features used for music-to-score alignment and study their influence on the performance in a challenging alignment task, where the audio data...
Cyril Joder, Slim Essid, Gaël Richard
ASE
2008
102views more  ASE 2008»
15 years 6 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
FGR
2006
IEEE
156views Biometrics» more  FGR 2006»
16 years 18 days ago
A Realtime Shrug Detector
A realtime system for shrug detection is discussed in this paper. The system is automatically initialized by a face detector based on Ada-boost[14]. After frontal face is localize...
Huazhong Ning, Tony X. Han, Yuxiao Hu, ZhenQiu Zha...
CIKM
2009
Springer
16 years 1 months ago
Evaluating top-k queries over incomplete data streams
We study the problem of continuous monitoring of top-k queries over multiple non-synchronized streams. Assuming a sliding window model, this general problem has been a well addres...
Parisa Haghani, Sebastian Michel, Karl Aberer