10568 search results - page 714 / 2114 » Computer Intelligence and Formalization |
172
click to vote
FLAIRS
2007
15 years 9 months ago
2007
This paper presents a numerical association rule extraction method that is based on original quality measures which evaluate to what extent a numerical classification model behave...
174
click to vote
FLAIRS
2008
15 years 9 months ago
2008
In this paper, we model large support vector machines (SVMs) by smaller networks in order to decrease the computational cost. The key idea is to generate additional training patte...
144
click to vote
FLAIRS
2008
15 years 9 months ago
2008
The paper presents observations concerning teaching Prolog to computer science students. Basing on these experiences an interactive web-portal is proposed to support teaching. Som...
203
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Conflict-based diagnosis is a recently proposed probabilistic method for model-based diagnosis, inspired by consistencybased diagnosis, that uses a measure of data confli...
188
click to vote
AAAI
2010
15 years 8 months ago
2010
We design minimal temporal description logics that are capable of expressing various aspects of temporal conceptual data models and investigate their computational complexity. We ...