Sciweavers

144 search results - page 28 / 29
» An Automatic Correction Tool for Relational Algebra Queries
Sort
View
AIEDAM
2007
191views more  AIEDAM 2007»
13 years 5 months ago
Ontology-based design information extraction and retrieval
Because of the increasing complexity of products and the design process, as well as the popularity of computer-aided documentation tools, the number of electronic and textual desi...
Zhanjun Li, Karthik Ramani
SIGIR
2008
ACM
13 years 5 months ago
On iterative intelligent medical search
Searching for medical information on the Web has become highly popular, but it remains a challenging task because searchers are often uncertain about their exact medical situation...
Gang Luo, Chunqiang Tang
BMCBI
2005
117views more  BMCBI 2005»
13 years 5 months ago
HmtDB, a Human Mitochondrial Genomic Resource Based on Variability Studies Supporting Population Genetics and Biomedical Researc
Background: Population genetics studies based on the analysis of mtDNA and mitochondrial disease studies have produced a huge quantity of sequence data and related information. Th...
Marcella Attimonelli, Matteo Accetturo, Monica San...
BMCBI
2004
119views more  BMCBI 2004»
13 years 5 months ago
Identification of polymorphic tandem repeats by direct comparison of genome sequence from different bacterial strains : a web-ba
Background: Polymorphic tandem repeat typing is a new generic technology which has been proved to be very efficient for bacterial pathogens such as B. anthracis, M. tuberculosis, ...
France Denoeud, Gilles Vergnaud
CORR
2008
Springer
105views Education» more  CORR 2008»
13 years 5 months ago
Certifying floating-point implementations using Gappa
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
Florent de Dinechin, Christoph Quirin Lauter, Guil...