Sciweavers

5671 search results - page 633 / 1135
» A Semantic Approach to Interpolation
Sort
View
POPL
2010
ACM
16 years 4 months ago
Verified just-in-time compiler on x86
This paper presents a method for creating formally correct just-intime (JIT) compilers. The tractability of our approach is demonstrated through, what we believe is the first, ver...
Magnus O. Myreen
ECBS
2009
IEEE
187views Hardware» more  ECBS 2009»
16 years 2 months ago
On the Meaning of SysML Activity Diagrams
In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational se...
Yosr Jarraya, Mourad Debbabi, Jamal Bentahar
PAKDD
2009
ACM
127views Data Mining» more  PAKDD 2009»
16 years 1 months ago
Clustering Documents Using a Wikipedia-Based Concept Representation
Abstract. This paper shows how Wikipedia and the semantic knowledge it contains can be exploited for document clustering. We first create a concept-based document representation b...
Anna Huang, David N. Milne, Eibe Frank, Ian H. Wit...
DEXA
2009
Springer
177views Database» more  DEXA 2009»
16 years 1 months ago
Querying XML Data with SPARQL
SPARQL is today the standard access language for Semantic Web data. In the recent years XML databases have also acquired industrial importance due to the widespread applicability o...
Nikos Bikakis, Nektarios Gioldasis, Chrisa Tsinara...
QUACON
2009
Springer
16 years 1 months ago
Establishing Similarity across Multi-granular Topological-Relation Ontologies
Within the Geospatial Semantic Web, selecting a different ontology for a spatial data set will enable that data’s analysis in a different context. Analyses of multiple data sets,...
Matthew P. Dube, Max J. Egenhofer