445 search results - page 13 / 89 » Classifying model-theoretic properties |
TLCA
2009
Springer
14 years 4 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
WIDM
2006
ACM
14 years 4 months ago
2006
ACM
In this paper, we identify and analyze structural properties which reflect the functionality of a Web site. These structural properties consider the size, the organization, the co...
BMCBI
2007
13 years 10 months ago
2007
Background: Odorant binding proteins (OBPs) are believed to shuttle odorants from the environment to the underlying odorant receptors, for which they could potentially serve as od...
BMCBI
2008
13 years 10 months ago
2008
Background: Prediction of transmembrane (TM) helices by statistical methods suffers from lack of sufficient training data. Current best methods use hundreds or even thousands of f...
PR
2008
13 years 10 months ago
2008
In handwritten pattern recognition, the multiple classifier system has been shown to be useful for improving recognition rates. One of the most important tasks in optimizing a mul...