3931 search results - page 414 / 787 » Separation logic and abstraction |
179
click to vote
AIMSA
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...
181
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...
178
click to vote
BIRTHDAY
2007
Springer
16 years 1 months 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...
203
click to vote
CADE
2007
Springer
16 years 1 months 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 ...
169
click to vote
ICLP
2007
Springer
16 years 1 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...