3624 search results - page 500 / 725 » Abstract Algebraic Logic |
170
click to vote
FUZZIEEE
2007
IEEE
16 years 28 days 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...
162
Voted
BIRTHDAY
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is ess...
191
click to vote
CADE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Most methods for termination analysis of term rewrite systems (TRSs) essentially try to find arguments of functions that decrease in recursive calls. However, they fail ...
154
click to vote
ICLP
2007
Springer
16 years 23 days 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...
181
click to vote
PVM
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. MPI implementations are faced with growingly complex network configurations containing multiple network interfaces per node, NAT, or dual stacks. To implement handling l...