Sciweavers

13822 search results - page 2328 / 2765
» Models in Knowledge Management
Sort
View
PCI
2005
Springer
16 years 9 days ago
A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
Nick Bassiliades, Efstratios Kontopoulos, Grigoris...
RULEML
2005
Springer
16 years 9 days ago
Design and Implementation of an ECA Rule Markup Language
an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Servic...
Marco Seiriö, Mikael Berndtsson
SEKE
2005
Springer
16 years 9 days ago
Institution Morphisms for Relating OWL and Z
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
IQIS
2004
ACM
16 years 7 days ago
Mining for Patterns in Contradictory Data
Information integration is often faced with the problem that different data sources represent the same set of the real-world objects, but give conflicting values for specific prop...
Heiko Müller, Ulf Leser, Johann Christoph Fre...
ISLPED
2004
ACM
169views Hardware» more  ISLPED 2004»
16 years 7 days ago
Delay optimal low-power circuit clustering for FPGAs with dual supply voltages
This paper presents a delay optimal FPGA clustering algorithm targeting low power. We assume that the configurable logic blocks of the FPGA can be programmed using either a high s...
Deming Chen, Jason Cong
« Prev « First page 2328 / 2765 Last » Next »