Sciweavers

2763 search results - page 12 / 553
» The Dangerous 'All' in Specifications
Sort
View
BMCBI
2004
95views more  BMCBI 2004»
13 years 7 months ago
PCOGR: Phylogenetic COG ranking as an online tool to judge the specificity of COGs with respect to freely definable groups of or
Background: The rapidly increasing number of completely sequenced genomes led to the establishment of the COG-database which, based on sequence homologies, assigns similar protein...
Florian Meereis, Michael Kaufmann
FLAIRS
2000
13 years 9 months ago
Domain-Specific Knowledge Acquisition and Classification Using WordNet
For manyknowledgeintensive applications, it is necessary to have extensive domain-specific knowledgein addition to general-purpose knowledge bases usually built around MachineRead...
Dan I. Moldovan, Roxana Girju
CSUR
1999
137views more  CSUR 1999»
13 years 7 months ago
Algebraic Methods for Specification and Formal Development of Programs
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
Donald Sannella, Andrzej Tarlecki
CSREASAM
2006
13 years 9 months ago
Security Analysis of the Digital Transmission Copy Protection Specification
- This paper analyzes the secure protocols in the digital transmission copy protection (DTCP) specification. The full authentication protocol in the specification is a combination ...
Haibo Tian, Yumin Wang
CLEF
2008
Springer
13 years 9 months ago
The Xtrieval Framework at CLEF 2008: Domain-Specific Track
This article describes our participation at the Domain-Specific track. We used the Xtrieval framework [2], [3] for the preparation and execution of the experiments. The translatio...
Jens Kürsten, Thomas Wilhelm, Maximilian Eibl