1059 search results - page 45 / 212 » Standard Logics Are Valuation-Nonmonotonic |
159
click to vote
FUZZIEEE
2007
IEEE
16 years 13 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...
136
click to vote
FDL
2005
IEEE
15 years 11 months ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
189
click to vote
CC
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...
187
click to vote
ADC
2008
Springer
16 years 14 days ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
ISCAS
2006
IEEE
16 years 4 days ago
2006
IEEE
— Recently, there has been renewed interest in structured logic arrays due to a number of inherent advantages. However, before they will be more widely adopted, structured logic ...