Sciweavers

1532 search results - page 140 / 307
» An analysis of additivity in OLAP systems
Sort
View
ESOP
2001
Springer
14 years 1 months ago
Entailment with Conditional Equality Constraints
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend eq...
Zhendong Su, Alexander Aiken
WOSP
2000
ACM
14 years 1 months ago
Visual representation of stochastic process algebra models
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
Nigel Thomas, Malcolm Munro, Peter J. B. King, Rob...
EUSFLAT
2001
13 years 10 months ago
Evidence theory for data co-exploitation. Application for service life assessment of building products
An original method for service life assessment of building products is proposed. In addition to a rigorous analysis and system modelling, "Evidence Theory" is adapted an...
Jérôme Lair
DLOG
2000
13 years 10 months ago
High Performance Reasoning with Very Large Knowledge Bases
In this contribution we present an empirical analysis of the performance of the ALCNHR+ description logic system RACE applied to TBoxes with a very large number of primitive conce...
Volker Haarslev, Ralf Möller
BMCBI
2008
58views more  BMCBI 2008»
13 years 9 months ago
Recovering probabilities for nucleotide trimming processes for T cell receptor TRA and TRG V-J junctions analyzed with IMGT tool
Background: Nucleotides are trimmed from the ends of variable (V), diversity (D) and joining (J) genes during immunoglobulin (IG) and T cell receptor (TR) rearrangements in B cell...
Kevin Bleakley, Marie-Paule Lefranc, Gérard...