2654 search results - page 436 / 531 » On Pairing Inversion Problems |
138
click to vote
EWCBR
2000
Springer
15 years 7 months ago
2000
Springer
Many of today's CBR systems are passive in nature: they require human users to activate them manually and to provide information about the incoming problem explicitly. In this...
132
click to vote
KR
2000
Springer
15 years 7 months ago
2000
Springer
We investigate the problem of reasoning with partitions of related logical axioms. Our motivation is two-fold. First, we are concerned with how to reason effectively with multiple...
155
Voted
PKDD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. A new constrained model is discussed as a way of incorporating efficiently a priori expert knowledge into a clustering problem of a given individual set. The first innova...
159
click to vote
ACM
1995
15 years 7 months ago
1995
We study properties of rough sets, that is, approximations to sets of records in a database or, more formally, to subsets of the universe of an information system. A rough set is a...
183
click to vote
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...