Sciweavers

1071 search results - page 106 / 215
» An analysis framework for search sequences
Sort
View
PROCEDIA
2011
13 years 4 days ago
Exact Closest String as a Constraint Satisfaction Problem
We report the first evaluation of Constraint Satisfaction as a computational framework for solving closest string problems. We show that careful consideration of symbol occurrenc...
Tom Kelsey, Lars Kotthoff
IJCSA
2006
138views more  IJCSA 2006»
13 years 9 months ago
An Integrated System for Cancer-Related Genes Mining from Biomedical Literatures
According to statistics, the rate of having cancer is relatively high for people in developing and developed countries. So cancer can be called as the enemy of human health. With ...
Shih-Nung Chen, Kuo-Cheng Wen
BMCBI
2008
99views more  BMCBI 2008»
13 years 9 months ago
Multiple organism algorithm for finding ultraconserved elements
Background: Ultraconserved elements are nucleotide or protein sequences with 100% identity (no mismatches, insertions, or deletions) in the same organism or between two or more or...
Scott Christley, Neil F. Lobo, Gregory R. Madey
ICCV
2007
IEEE
14 years 11 months ago
Coupled Detection and Trajectory Estimation for Multi-Object Tracking
We present a novel approach for multi-object tracking which considers object detection and spacetime trajectory estimation as a coupled optimization problem. It is formulated in a...
Bastian Leibe, Konrad Schindler, Luc J. Van Gool
CADE
2004
Springer
14 years 9 months ago
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
José Meseguer, Grigore Rosu