Sciweavers

3819 search results - page 529 / 764
» Predicting Dependability by Testing
Sort
View
DLOG
1998
15 years 6 months ago
Comparing Subsumption Optimizations
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
Ian Horrocks, Peter F. Patel-Schneider
BMCBI
2007
134views more  BMCBI 2007»
15 years 5 months ago
A framework for significance analysis of gene expression data using dimension reduction methods
Background: The most popular methods for significance analysis on microarray data are well suited to find genes differentially expressed across predefined categories. However, ide...
Lars Halvor Gidskehaug, Endre Anderssen, Arnar Fla...
BMCBI
2008
97views more  BMCBI 2008»
15 years 5 months ago
Large-scale directional relationship extraction and resolution
Background: Relationships between entities such as genes, chemicals, metabolites, phenotypes and diseases in MEDLINE are often directional. That is, one may affect the other in a ...
Cory B. Giles, Jonathan D. Wren
154
Voted
CPHYSICS
2007
222views more  CPHYSICS 2007»
15 years 4 months ago
JADAMILU: a software code for computing selected eigenvalues of large sparse symmetric matrices
A new software code for computing selected eigenvalues and associated eigenvectors of a real symmetric matrix is described. The eigenvalues are either the smallest or those closes...
Matthias Bollhöfer, Yvan Notay
CC
2002
Springer
145views System Software» more  CC 2002»
15 years 4 months ago
Forwarding in Attribute Grammars for Modular Language Design
Abstract. Forwarding is a technique for providing default attribute definitions in attribute grammars that is helpful in the modular implementation of programming languages. It com...
Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul ...