67 search results - page 5 / 14 » Digital solutions for inference rules in decision-supporting... |
PRL
2002
13 years 7 months ago
2002
This paper presents a learning system that uses genetic programming as a tool for automatically inferring the set of classification rules to be used during a preclassification sta...
ICADL
2003
Springer
14 years 17 days ago
2003
Springer
Ontologies play an important role in the Semantic Web as well as in digital library and knowledge portal applications. This project seeks to develop an automatic method to enrich e...
IWVF
2001
Springer
13 years 11 months ago
2001
Springer
In the framework of an evolutionary approach to machine learning, this paper presents the preliminary version of a learning system that uses Genetic Programming as a tool for autom...
BCSHCI
2008
13 years 8 months ago
2008
Ensuring good usability can be seen as the key success factor in our whole digital world: technology must support people. In particular, Medicine and Healthcare are currently subj...
PPDP
2010
Springer
13 years 5 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...