Sciweavers

4623 search results - page 267 / 925
» Knowledge Representation on the Web
Sort
View
KSEM
2007
Springer
16 years 1 months ago
A Diagrammatic Reasoning System for ALC
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
Frithjof Dau, Peter W. Eklund
SEMWEB
2007
Springer
16 years 1 months ago
Form-Function Reasoning for Product Shape Ontology
We present an ontology of objects, functions, and generic shape representation that supports form-function reasoning. By reasoning from the mechanical and other functions of object...
Eric Wang, Yong Se Kim
APCCAS
2006
IEEE
254views Hardware» more  APCCAS 2006»
16 years 1 months ago
Redundant Adders Consume Less Energy
— We conduct a complete analysis of the effect of digit redundancy in adders on their delay, power, energy, and energy-delay product. To our knowledge, this is the first such de...
Kavallur Gopi Smitha, H. A. H. Fahmy, A. Prasad Vi...
UM
2005
Springer
16 years 22 days ago
A Bayesian Approach to Modelling Users' Information Display Preferences
This paper describes the process by which we constructed a user model for ERST - an External Representation Selection Tutor - which recommends external representations (ERs) for pa...
Beate Grawemeyer, Richard Cox
FLAIRS
2007
15 years 9 months ago
A Case Elaboration Methodology for a Diagnostic and Repair Help System Based on CBR
Although the elaboration of the case representation is the key problem of the case-based reasoning system conception, there exists no proven methodology targeted to this task. Thi...
Ivana Rasovska, Brigitte Chebel-Morello, Noureddin...