Sciweavers

2696 search results - page 229 / 540
» Semantic Abstraction and Anaphora
Sort
View
SEMWIKI
2008
156views Data Mining» more  SEMWIKI 2008»
15 years 8 months ago
A Generic Corporate Ontology Lifecycle
Abstract. Weaving the Semantic Web the research community is working on publishing publicly available data sources as RDF data on the Web. To facilitate the adoption of Semantic We...
Markus Luczak-Rösch, Ralf Heese
DATESO
2004
118views Database» more  DATESO 2004»
15 years 8 months ago
LSI vs. Wordnet Ontology in Dimension Reduction for Information Retrieval
Abstract. In the area of information retrieval, the dimension of document vectors plays an important role. Firstly, with higher dimensions index structures suffer the "curse o...
Pavel Moravec, Michal Kolovrat, Václav Sn&a...
SIMVIS
2004
15 years 8 months ago
A Formal Model of a Framework for Simulation-Based Animation
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
Wolfgang Müller 0003, Volker Paelke
ASIAN
2009
Springer
308views Algorithms» more  ASIAN 2009»
15 years 7 months ago
Automated Security Proof for Symmetric Encryption Modes
Abstract. We presents a compositional Hoare logic for proving semantic security of modes of operation for symmetric key block ciphers. We propose a simple programming language to s...
Martin Gagné, Pascal Lafourcade, Yassine La...
CORR
2008
Springer
94views Education» more  CORR 2008»
15 years 6 months ago
A Toolkit for Scalable Spreadsheet Visualization
This paper presents a toolkit for spreadsheet visualization based on logical areas, semantic classes and data Logical areas, semantic classes and data modules are abstract represe...
Markus Clermont