2263 search results - page 378 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
143
click to vote
AIA
2006
15 years 2 months ago
2006
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
120
click to vote
CLEF
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we present the use of a "general purpose" textual entaiment recognizer in the Answer Validation Exercise (AVE) task. Our system has been developed to learn...
POPL
2010
ACM
15 years 10 months ago
2010
ACM
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
103
click to vote
KDD
2003
ACM
16 years 1 months ago
2003
ACM
We describe techniques for combining two types of knowledge systems: expert and machine learning. Both the expert system and the learning system represent information by logical d...
108
click to vote
RECOMB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Sequence to structure alignment is an important step in homology modeling of protein structures. Incorporation of features like secondary structure, solvent accessibility...