Sciweavers

15372 search results - page 389 / 3075
» The Semantics of Semantic Annotation
Sort
View
ICLP
1992
Springer
15 years 11 months ago
A Declarative View of Inheritance in Logic Programming
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
Michele Bugliesi
ICLP
2010
Springer
15 years 10 months ago
Program analysis for code duplication in logic programs
Abstract. In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible se...
Celine Dandois
ICIW
2007
IEEE
15 years 10 months ago
Type-Based Static and Dynamic Website Verification
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
Jorge Coelho, Mário Florido
CAISE
2006
Springer
15 years 10 months ago
VisAVis: An Approach to an Intermediate Layer between Ontologies and Relational Database Contents
This paper introduces an approach to mapping relational database contents to ontologies. The current effort is motivated by the need of including into the Semantic Web volumes of w...
Nikolaos Konstantinou, Dimitrios-Emmanuel Spanos, ...
EURODAC
1995
IEEE
126views VHDL» more  EURODAC 1995»
15 years 10 months ago
Use of embedded scheduling to compile VHDL for effective parallel simulation
This paper describes VHDL compilation techniques, embodied in the Auriga compiler [3,14], which facilitate parallel or distributed simulation by embedding evaluation scheduling in...
John Willis, Zhiyuan Li, Tsang-Puu Lin