Sciweavers

1178 search results - page 72 / 236
» An Approach to Exploring Description Logic Knowledge Bases
Sort
View
ICCAD
1992
IEEE
93views Hardware» more  ICCAD 1992»
15 years 4 months ago
Timing analysis in high-level synthesis
This paper presents a comprehensive timing model for behavioral-level specifications and algorithms for timing analysis in high-level synthesis. It is based on a timing network wh...
Andreas Kuehlmann, Reinaldo A. Bergamaschi
PVLDB
2010
115views more  PVLDB 2010»
14 years 10 months ago
ROXXI: Reviving witness dOcuments to eXplore eXtracted Information
In recent years, there has been considerable research on information extraction and constructing RDF knowledge bases. In general, the goal is to extract all relevant information f...
Shady Elbassuoni, Katja Hose, Steffen Metzger, Ral...
ESWS
2009
Springer
15 years 6 months ago
Hybrid Reasoning with Forest Logic Programs
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasonin...
Cristina Feier, Stijn Heymans
ASWEC
2000
IEEE
15 years 4 months ago
Storing and Retrieving Software Components: A Component Description Manager
The aim of the paper is to present the results of research into Component-Based software development by providing a specification mechanism allowing searching for components in a ...
Rune Meling, E. James Montgomery, Pon Sudha Ponnus...
ASWC
2006
Springer
15 years 3 months ago
Transformation from OWL Description to Resource Space Model
Abstract. Semantics shows diversity in real world, document world, mental abstraction world and machine world. Transformation between semantics pursues the uniformity in the divers...
Hai Zhuge, Peng Shi, Yunpeng Xing, Chao He