3808 search results - page 456 / 762 » Artificial Intelligence: A Modern Approach |
176
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, belief functions, defined on the lattice of partitions of a set of objects, are investigated as a suitable framework for combining multiple clusterings. W...
176
Voted
ICANN
2009
Springer
16 years 1 months ago
2009
Springer
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued Lukasiewicz semantics. Given an appropriate immediate consequence operat...
135
Voted
IDA
2009
Springer
16 years 1 months ago
2009
Springer
Ion-selective electrodes (ISE) offer a practical approach for estimating ionic activities. Nonetheless, such devices are not selective, i.e., the ISE response can be affected by ...
202
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which co...
177
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—In contrast to standard fuzzy clustering, which optimizes a set of prototypes, one for each cluster, this paper studies fuzzy clustering without prototypes. Starting fro...