Sciweavers

98 search results - page 4 / 20
» A Hybrid Relational Approach for WSD - First Results
Sort
View
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
14 years 9 days ago
On the relation between simulation-based and SAT-based diagnosis
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
Görschwin Fey, Sean Safarpour, Andreas G. Ven...
ICSM
2009
IEEE
14 years 27 days ago
Predicting change impact from logical models
To improve the ability of predicting the impact scope of a given change, we present two approaches applicable to the maintenance of object-oriented software systems. Our first ap...
Sunny Wong, Yuanfang Cai
NC
1998
118views Neural Networks» more  NC 1998»
13 years 7 months ago
BRAINN: A Connectionist Approach to Symbolic Reasoning
Hybrid connectionist symbolic systems have been the subject of much recent research in AI. By focusing on the implementation of high-level human cognitive processes (e.g., rule-ba...
Rafal Bogacz, Christophe G. Giraud-Carrier
SEMWEB
2010
Springer
13 years 4 months ago
Optimizing Enterprise-Scale OWL 2 RL Reasoning in a Relational Database System
OWL 2 RL was standardized as a less expressive but scalable subset of OWL 2 that allows a forward-chaining implementation. However, building an enterprise-scale forward-chaining ba...
Vladimir Kolovski, Zhe Wu, George Eadon
CIA
2007
Springer
14 years 13 days ago
An Architecture for Hybrid P2P Free-Text Search
Abstract. Recent advances in peer to peer (P2P) search algorithms have presented viable structured and unstructured approaches for full-text search. We posit that these existing ap...
Avi Rosenfeld, Claudia V. Goldman, Gal A. Kaminka,...