Sciweavers

1813 search results - page 72 / 363
» Constraint Based Methods for Biological Sequence Analysis
Sort
View
121
Voted
WIAMIS
2009
IEEE
15 years 10 months ago
Archive film defect detection based on a hidden Markov model
We propose a novel statistical approach to detect defects in digitized archive film by using temporal information across a number of frames modeled with an HMM. The HMM is traine...
Xiaosong Wang, Majid Mirmehdi
126
Voted
HICSS
2006
IEEE
132views Biometrics» more  HICSS 2006»
15 years 9 months ago
Supporting the Module Sequencing Decision in the ERP Implementation Process
An important part of the Enterprise Resource Planning (ERP) system implementation process is the decision, which modules are implemented and in which order. We posit that the deci...
Petri Hallikainen, Harri Kimpimäki, Hannu Kiv...
161
Voted
ACST
2006
15 years 5 months ago
PDC: Pattern discovery with confidence in DNA sequences
Pattern discovery in DNA sequences is one of the most challenging tasks in molecular biology and computer science. The main goal of pattern discovery in DNA sequences is to identi...
Yi Lu, Shiyong Lu, Farshad Fotouhi, Yan Sun, Zijia...
119
Voted
ISCIS
2009
Springer
15 years 10 months ago
Using a SAT solver to generate checking sequences
—Methods for software testing based on Finite State Machines (FSMs) have been researched since the early 60’s. Many of these methods are about generating a checking sequence fr...
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Y...
158
Voted
SAS
1994
Springer
136views Formal Methods» more  SAS 1994»
15 years 7 months ago
Constraint-Based Type Inference and Parametric Polymorphism
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
Ole Agesen