1174 search results - page 155 / 235 » A Logical Approach to Abstract Algebra |
TPHOL
2008
IEEE
15 years 4 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...
FUZZIEEE
2007
IEEE
15 years 4 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...
ICLP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
SOFSEM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
IJCNN
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— In previous work, we have shown that both unsupervised feature selection and the semi-supervised clustering problem can be usefully formulated as multiobjective optimiz...