Sciweavers

1725 search results - page 259 / 345
» Kokono Search: A Location Based Search Engine
Sort
View
111
Voted
KDD
1994
ACM
125views Data Mining» more  KDD 1994»
15 years 5 months ago
Knowledge Discovery in Large Image Databases: Dealing with Uncertainties in Ground Truth
This paper discusses the problem of knowledge discovery in image databases with particular focus on the issues which arise when absolute ground truth is not available. It is often...
Padhraic Smyth, Michael C. Burl, Usama M. Fayyad, ...
BMCBI
2006
101views more  BMCBI 2006»
15 years 1 months ago
SuperMimic - Fitting peptide mimetics into protein structures
Background: Various experimental techniques yield peptides that are biologically active but have unfavourable pharmacological properties. The design of structurally similar organi...
Andrean Goede, Elke Michalsky, Ulrike Schmidt, Rob...
BMCBI
2006
126views more  BMCBI 2006»
15 years 1 months ago
Genomes as geography: using GIS technology to build interactive genome feature maps
Background: Many commonly used genome browsers display sequence annotations and related attributes as horizontal data tracks that can be toggled on and off according to user prefe...
Mary E. Dolan, Constance C. Holden, M. Kate Beard,...
126
Voted
BMCBI
2005
133views more  BMCBI 2005»
15 years 1 months ago
Ab initio identification of putative human transcription factor binding sites by comparative genomics
Background: Understanding transcriptional regulation of gene expression is one of the greatest challenges of modern molecular biology. A central role in this mechanism is played b...
Davide Corà, Carl Herrmann, Christoph Diete...
ICFEM
2009
Springer
15 years 8 months ago
A Lazy Unbounded Model Checker for Event-B
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...
Paulo J. Matos, Bernd Fischer, João P. Marq...