Sciweavers

6583 search results - page 350 / 1317
» Semantic Analysis Patterns
Sort
View
ENTCS
2008
87views more  ENTCS 2008»
15 years 4 months ago
A Lightweight Approach for the Semantic Validation of Model Refinements
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
Claudia Pons, Diego García
BMCBI
2008
128views more  BMCBI 2008»
15 years 5 months ago
Meta-analysis of breast cancer microarray studies in conjunction with conserved cis-elements suggest patterns for coordinate reg
Background: Gene expression measurements from breast cancer (BrCa) tumors are established clinical predictive tools to identify tumor subtypes, identify patients showing poor/good...
David D. Smith, Pål Sætrom, Ola R. Sn&...
ATVA
2007
Springer
115views Hardware» more  ATVA 2007»
15 years 11 months ago
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoe...
SEMWEB
2009
Springer
15 years 11 months ago
Measuring the Structural Preservation of Semantic Hierarchy Alignment
We present a method to measure the amount of structural distortion carried by an alignment between two taxonomic cores of ontologies represented as semantic hierarchies. We present...
Cliff Joslyn, Patrick Paulson, Amanda White
CEC
2008
IEEE
15 years 11 months ago
Semantically driven crossover in genetic programming
—Crossover forms one of the core operations in genetic programming and has been the subject of many different investigations. We present a novel technique, based on semantic anal...
Lawrence Beadle, Colin G. Johnson