Sciweavers

3719 search results - page 122 / 744
» RACER System Description
Sort
View
SEMWEB
2009
Springer
15 years 11 months ago
Automatically Constructing Semantic Web Services from Online Sources
Abstract. The work on integrating sources and services in the Semantic Web assumes that the data is either already represented in RDF or OWL or is available through a Semantic Web ...
José Luis Ambite, Sirish Darbha, Aman Goel,...
LPKR
1997
Springer
15 years 9 months ago
Reasoning with Prioritized Defaults
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...
Michael Gelfond, Tran Cao Son
EEE
2005
IEEE
15 years 10 months ago
Semantic Feedback for Hybrid Recommendations in Recommendz
In this paper we discuss the Recommendz 1 recommender system. This domain-independent system combines the advantages of collaborative and content-based filtering in a novel way. ...
Matthew Garden, Gregory Dudek
ECRTS
2000
IEEE
15 years 9 months ago
Running-modes of real-time systems: a case-study with mode-automata
Real-time Systems, in particular regulation systems, are often specified using the notion of running modes. On the other hand, the family of synchronous languages [1] has been ve...
Florence Maraninchi, Yann Rémond
FDL
2007
IEEE
15 years 11 months ago
Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques
The system description language SystemC enables to quickly create executable specifications at adequate levbstraction for both hardware/software integration and fast design space...
Daniel Große, Hernan Peraza, Wolfgang Klinga...