Sciweavers

1608 search results - page 109 / 322
» Functional Understanding Based on an Ontology of Functional ...
Sort
View
EWCBR
1998
Springer
14 years 15 days ago
Case-Based Reasoning in CARE-PARTNER: Gathering Evidence for Evidence-Based Medical Practice
This paper presents the CARE-PARTNER system. Functionally, it offers via the WWW knowledge-support assistance to clinicians responsible for the long-term follow-up of stem-cell pos...
Isabelle Bichindaritz, Emin Kansu, Keith M. Sulliv...
SDM
2004
SIAM
211views Data Mining» more  SDM 2004»
13 years 9 months ago
Using Support Vector Machines for Classifying Large Sets of Multi-Represented Objects
Databases are a key technology for molecular biology which is a very data intensive discipline. Since molecular biological databases are rather heterogeneous, unification and data...
Hans-Peter Kriegel, Peer Kröger, Alexey Pryak...
WER
2010
Springer
13 years 6 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri
KR
2000
Springer
13 years 12 months ago
Reasoning with Axioms: Theory and Practice
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
Ian Horrocks, Stephan Tobies
EUSFLAT
2009
144views Fuzzy Logic» more  EUSFLAT 2009»
13 years 6 months ago
Number-free Mathematics Based on T-norm Fuzzy Logic
Abstract--The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers a...
Libor Behounek