Sciweavers

993 search results - page 118 / 199
» Classification Reliability and Its Use in Multi-classifier S...
Sort
View
ICDCS
2007
IEEE
14 years 4 months ago
Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
Guoqiang Shu, David Lee
BMCBI
2004
125views more  BMCBI 2004»
13 years 10 months ago
A functional hierarchical organization of the protein sequence space
Background: It is a major challenge of computational biology to provide a comprehensive functional classification of all known proteins. Most existing methods seek recurrent patte...
Noam Kaplan, Moriah Friedlich, Menachem Fromer, Mi...
BMCBI
2008
149views more  BMCBI 2008»
13 years 10 months ago
Evolution of biological sequences implies an extreme value distribution of type I for both global and local pairwise alignment s
Background: Confidence in pairwise alignments of biological sequences, obtained by various methods such as Blast or Smith-Waterman, is critical for automatic analyses of genomic d...
Olivier Bastien, Eric Maréchal
POPL
2009
ACM
14 years 11 months ago
Masked types for sound object initialization
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
Xin Qi, Andrew C. Myers
EDBT
2008
ACM
123views Database» more  EDBT 2008»
14 years 10 months ago
XML data integration in SixP2P: a theoretical framework
In the paper we discuss the problem of data integration in a P2P environment. In such setting each peer stores schema of its local data, mappings between the schema and schemas of...
Tadeusz Pankowski