3928 search results - page 90 / 786 » order 2006 |
128
click to vote
JLP
2000
15 years 3 months ago
2000
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...
146
click to vote
IPL
2002
15 years 3 months ago
2002
We study the possibility of constructing decision trees with evolutionary algorithms in order to increase their predictive accuracy. We present a self-adapting evolutionary algori...
106
click to vote
JGAA
2002
15 years 3 months ago
2002
We prove a very general representation theorem for posets and, as a corollary, deduce that any abstract simplicial complex has a geometric realization in the Euclidean space of di...
132
click to vote
JISE
1998
15 years 3 months ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
123
click to vote
LOGCOM
2002
15 years 3 months ago
2002
The paper is a theoretical study of a generalization of the lexicographic rule for combining ordering relations. We define the concept of priority operator: a priority operator ma...