Sciweavers

5757 search results - page 478 / 1152
» Dynamic Policy Programming
Sort
View
MM
2006
ACM
157views Multimedia» more  MM 2006»
16 years 1 months ago
Syllabic level automatic synchronization of music signals and text lyrics
We present a framework to synchronize pop music to corresponding text lyric. We refine line level alignment achievable by existing work to syllabic level by using a dynamic progra...
Denny Iskandar, Ye Wang, Min-Yen Kan, Haizhou Li
BIOCOMP
2006
15 years 9 months ago
Acceleration of Covariance Models for Non-coding RNA Search
Stochastic context-free grammar (SCFG) based models for non-coding RNA (ncRNA) gene searches are much more powerful than regular grammar based models due to the ability to model in...
Scott F. Smith 0002
PRL
2002
75views more  PRL 2002»
15 years 7 months ago
Robust evidence-based object tracking
We extend the velocity Hough transform (VHT) for tracking objects with arbitrary velocity by
Pelopidas Lappas, John N. Carter, Robert I. Damper
IPPS
2008
IEEE
16 years 2 months ago
Scalable dynamic information flow tracking and its applications
We are designing scalable dynamic information flow tracking techniques and employing them to carry out tasks related to debugging (bug location and fault avoidance), security (so...
Rajiv Gupta, Neelam Gupta, Xiangyu Zhang, Dennis J...
LFCS
2007
Springer
16 years 1 months ago
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
André Platzer