Sciweavers

1940 search results - page 363 / 388
» Eurostore - Initial Design and First Results
Sort
View
71
Voted
BMCBI
2008
77views more  BMCBI 2008»
14 years 12 months ago
SeqAn An efficient, generic C++ library for sequence analysis
Background: The use of novel algorithmic techniques is pivotal to many important problems in life science. For example the sequencing of the human genome [1] would not have been p...
Andreas Döring, David Weese, Tobias Rausch, K...
BMCBI
2008
151views more  BMCBI 2008»
14 years 12 months ago
An integrated database-pipeline system for studying single nucleotide polymorphisms and diseases
Background: Studies on the relationship between disease and genetic variations such as single nucleotide polymorphisms (SNPs) are important. Genetic variations can cause disease b...
Jin Ok Yang, Sohyun Hwang, Jeongsu Oh, Jong Bhak, ...
CAD
2008
Springer
14 years 12 months ago
Structure-oriented contour representation and matching for engineering shapes
Conventional shape matching for engineering models primarily considers rigid shape similarity. They do not seek global shape similarity while considering large local deformations....
Suyu Hou, Karthik Ramani
IANDC
2008
105views more  IANDC 2008»
14 years 11 months ago
Symbolic protocol analysis for monoidal equational theories
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
Stéphanie Delaune, Pascal Lafourcade, Denis...
EC
2006
195views ECommerce» more  EC 2006»
14 years 11 months ago
Automated Global Structure Extraction for Effective Local Building Block Processing in XCS
Learning Classifier Systems (LCSs), such as the accuracy-based XCS, evolve distributed problem solutions represented by a population of rules. During evolution, features are speci...
Martin V. Butz, Martin Pelikan, Xavier Llorà...