Sciweavers

73 search results - page 9 / 15
» Positivity of second order linear recurrent sequences
Sort
View
61
Voted
ISRR
2005
Springer
111views Robotics» more  ISRR 2005»
15 years 4 months ago
Bias Reduction and Filter Convergence for Long Range Stereo
We are concerned here with improving long range stereo by filtering image sequences. Traditionally, measurement errors from stereo camera systems have been approximated as 3-D Gau...
Gabe Sibley, Larry Matthies, Gaurav S. Sukhatme
BMCBI
2008
220views more  BMCBI 2008»
14 years 11 months ago
Gene prediction in metagenomic fragments: A large scale machine learning approach
Background: Metagenomics is an approach to the characterization of microbial genomes via the direct isolation of genomic sequences from the environment without prior cultivation. ...
Katharina J. Hoff, Maike Tech, Thomas Lingner, Rol...
BMCBI
2007
141views more  BMCBI 2007»
14 years 11 months ago
Using structural motif descriptors for sequence-based binding site prediction
Background: Many protein sequences are still poorly annotated. Functional characterization of a protein is often improved by the identification of its interaction partners. Here, ...
Andreas Henschel, Christof Winter, Wan Kyu Kim, Mi...
JCC
2007
82views more  JCC 2007»
14 years 11 months ago
Peptide reagent design based on physical and chemical properties of amino acid residues
: It has tremendous values for both drug discovery and basic research to develop a solid bioinformatical tool for guiding peptide reagent design. Based on the physical and chemical...
Qishi Du, Ri-Bo Huang, Yu-Tuo Wei, Cheng-Hua Wang,...
CAV
2010
Springer
192views Hardware» more  CAV 2010»
15 years 3 months ago
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, A...