Sciweavers

2219 search results - page 21 / 444
» Dynamic Programming and Graph Algorithms in Computer Vision
Sort
View
95
Voted
PSB
2010
15 years 18 days ago
Dynamic Programming Algorithms for RNA Structure Prediction with Binding Sites
Unyanee Poolsap, Yuki Kato, Tatsuya Akutsu
127
Voted
TPHOL
2008
IEEE
15 years 8 months ago
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
Daniel Wasserrab, Andreas Lochbihler
112
Voted
DAM
2006
172views more  DAM 2006»
15 years 2 months ago
A Branch-and-Cut algorithm for graph coloring
In a previous work, we proposed a new integer programming formulation for the graph coloring problem which, to a certain extent, avoids symmetry. We studied the facet structure of...
Isabel Méndez-Díaz, Paula Zabala
ICPR
2006
IEEE
16 years 3 months ago
Recover Writing Trajectory from Multiple Stroked Image Using Bidirectional Dynamic Search
The recovery of writing trajectory from offline handwritten image is generally regarded as a difficult problem [1]. This paper introduced a method to recover the writing trajector...
Yu Qiao, Makoto Yasuhara