1486 search results - page 162 / 298 » Mathematical Fuzzy Logics |
182
click to vote
LFCS
2009
Springer
16 years 27 days ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
197
click to vote
TARK
1992
Springer
15 years 10 months ago
1992
Springer
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
180
click to vote
FUZZIEEE
2007
IEEE
16 years 21 days ago
2007
IEEE
— Data mining is most commonly used in attempts to induce association rules from transaction data. Most previous studies focused on binary-valued transaction data. Transaction da...
141
click to vote
APSEC
2000
IEEE
15 years 10 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
194
click to vote
DCOSS
2008
Springer
15 years 8 months ago
2008
Springer
Wireless sensor nodes can act as distributed detectors for recognizing activities online, with the final goal of assisting the users in their working environment. We propose an act...