Sciweavers

725 search results - page 53 / 145
» A Generalization of Repetition Threshold
Sort
View
ICFEM
2005
Springer
14 years 1 months ago
Testing Real-Time Multi Input-Output Systems
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...
Laura Brandán Briones, Ed Brinksma
ISAAC
2005
Springer
78views Algorithms» more  ISAAC 2005»
14 years 1 months ago
The Phase Matrix
Reducing the error of quantum algorithms is often achieved by applying a primitive called amplitude amplification. Its use leads in many instances to quantum algorithms that are q...
Peter Høyer
MIR
2004
ACM
189views Multimedia» more  MIR 2004»
14 years 1 months ago
Repeating pattern discovery and structure analysis from acoustic music data
Music and songs usually have repeating patterns and prominent structure. The automatic extraction of such repeating patterns and structure is useful for further music summarizatio...
Lie Lu, Muyuan Wang, HongJiang Zhang
MM
2004
ACM
137views Multimedia» more  MM 2004»
14 years 1 months ago
Towards auto-documentary: tracking the evolution of news stories
News videos constitute an important source of information for tracking and documenting important events. In these videos, news stories are often accompanied by short video shots t...
Pinar Duygulu, Jia-Yu Pan, David A. Forsyth
MMDB
2004
ACM
132views Multimedia» more  MMDB 2004»
14 years 1 months ago
The priority curve algorithm for video summarization
In this paper, we introduce the concept of a priority curve associated with a video. We then provide an algorithm that can use the priority curve to create a summary (of a desired...
Marat Fayzullin, V. S. Subrahmanian, Massimiliano ...