Sciweavers

2129 search results - page 201 / 426
» Cutting-Edge Timing Analysis Techniques
Sort
View
CGF
2008
81views more  CGF 2008»
15 years 6 months ago
Lagrangian Visualization of Flow-Embedded Surface Structures
The powerful yet conceptually simple notions of Finite-Time Lyapunov Exponent (FTLE) and Lagrangian Coherent Structures provide a powerful framework for the analysis and visualiza...
Christoph Garth, Alexander Wiebel, Xavier Tricoche...
ISMIR
2004
Springer
236views Music» more  ISMIR 2004»
16 years 1 hour ago
Rhythm and Tempo Recognition of Music Performance from a Probabilistic Approach
This paper concerns both rhythm recognition and tempo analysis of expressive music performance based on a probabilistic approach. In rhythm recognition, the modern continuous spee...
Haruto Takeda, Takuya Nishimoto, Shigeki Sagayama
DEXAW
2002
IEEE
101views Database» more  DEXAW 2002»
15 years 11 months ago
Robust Similarity Measures for Mobile Object Trajectories
We investigate techniques for similarity analysis of spatio-temporal trajectories for mobile objects. Such kind of data may contain a great amount of outliers, which degrades the ...
Michail Vlachos, Dimitrios Gunopulos, George Kolli...
178
Voted
COMCOM
2004
114views more  COMCOM 2004»
15 years 6 months ago
WFI optimized PWGPS for wireless IP networks
The worst-case fairness index (WFI) has proved to be an important metric in the provision of fairness and bounded delay in both wired and wireless networks. A feature of wireless l...
Fei Xiang, Alan Marshall, Junzhou Luo
ENTCS
2002
139views more  ENTCS 2002»
15 years 6 months ago
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman