Sciweavers

2894 search results - page 205 / 579
» Latent semantic analysis
Sort
View
ATVA
2007
Springer
115views Hardware» more  ATVA 2007»
16 years 1 days 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
16 years 12 days 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
16 years 10 days 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
SEMCO
2008
IEEE
16 years 7 days ago
OPTIMA: Tool for Ontology Alignment with Application to Semantic Reconciliation of Sensor Metadata for Publication in SensorMap
We present Optima, a state of the art general purpose tool for ontology alignment that automatically identifies and matches relevant concepts between ontologies. The tool is supp...
Ravikanth Kolli, Prashant Doshi
ADAEUROPE
2008
Springer
16 years 6 days ago
Operational Semantics of Ada Ravenscar
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
Irfan Hamid, Elie Najm