Sciweavers

2469 search results - page 127 / 494
» Representations of Metabolic Knowledge
Sort
View
KSEM
2007
Springer
15 years 10 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
15 years 10 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»
15 years 10 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
15 years 10 months 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
146
Voted
FLAIRS
2007
15 years 7 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...