VLDB
2005
ACM
14 years 9 months ago
2005
ACM
Summarization of query results is an important problem for many OLAP applications. The Minimum Description Length principle has been applied in various studies to provide summarie...
MM
2005
ACM
14 years 9 months ago
2005
ACM
To locate a video clip in large collections is very important for retrieval applications, especially for digital rights management. In this paper, we present a novel technique for...
MM
2006
ACM
14 years 10 months ago
2006
ACM
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...
ICRA
2006
IEEE
14 years 10 months ago
2006
IEEE
— We present a control approach that uses a library of trajectories to establish a global control law or policy. This is an alternative to methods for finding global policies ba...
BIRD
2007
Springer
14 years 10 months ago
2007
Springer
Comparison of 3-dimensional protein folds is a core problem in molecular biology. The Contact Map Overlap (CMO) scheme provides one of the most common measures for protein structur...
ICDAR
2007
IEEE
14 years 10 months ago
2007
IEEE
In this paper we propose a novel approach to the detection of on-line handwritten text lines based on dynamic programming. We try to find the paths with the minimum cost between ...
IJCNN
2008
IEEE
14 years 10 months ago
2008
IEEE
— Much recent research activity has focused on the theory and application of quantum calculus. This branch of mathematics continues to find new and useful applications and there ...
HYBRID
2010
Springer
14 years 10 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
IWOCA
2009
Springer
14 years 10 months ago
2009
Springer
The Feedback Vertex Set problem asks whether a graph contains q vertices meeting all its cycles. This is not a local property, in the sense that we cannot check if q vertices meet...
GECCO
2009
Springer
14 years 10 months ago
2009
Springer
Recently, it has been proven that evolutionary algorithms produce good results for a wide range of combinatorial optimization problems. Some of the considered problems are tackled...