Sciweavers

170 search results - page 9 / 34
» Program Annotation in XML: A Parse-Tree Based Approach
Sort
View
RTA
2010
Springer
13 years 11 months ago
A Rewriting Logic Semantics Approach to Modular Program Analysis
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
Mark Hills, Grigore Rosu
FECS
2006
113views Education» more  FECS 2006»
13 years 9 months ago
A Lightweight Program Similarity Detection Model using XML and Levenshtein Distance
Program plagiarism is one of the most significant problems in Computer Science education. Most common plagiarism includes modifying comments, reordering statements, and changing v...
Seo-Young Noh, Sangwoo Kim, Cheonyoung Jung
CIVR
2007
Springer
160views Image Analysis» more  CIVR 2007»
14 years 1 months ago
Automatic image annotation by an iterative approach: incorporating keyword correlations and region matching
Automatic image annotation automatically labels image content with semantic keywords. For instance, the Relevance Model estimates the joint probability of the keyword and the imag...
Xiangdong Zhou, Mei Wang, Qi Zhang, Junqi Zhang, B...
CIKM
2005
Springer
14 years 1 months ago
Versatile structural disambiguation for semantic-aware applications
In this paper, we propose a versatile disambiguation approach which can be used to make explicit the meaning of structure based information such as XML schemas, XML document struc...
Federica Mandreoli, Riccardo Martoglia, Enrico Ron...
WEBI
2007
Springer
14 years 1 months ago
Extending XML Query Language Xcerpt by Ontology Queries
The paper addresses a problem of combining XML querying with ontology reasoning. We present an extension of a rule-based XML query and transformation language Xcerpt. The extensio...
Wlodzimierz Drabent, Artur Wilk