Sciweavers

2573 search results - page 361 / 515
» Combinations of Modal Logics
Sort
View
KR
2004
Springer
15 years 12 months ago
A First-Order Theory of Communicating First-Order Formulas
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of eve...
Ernest Davis
RSCTC
2004
Springer
148views Fuzzy Logic» more  RSCTC 2004»
15 years 12 months ago
Towards Missing Data Imputation: A Study of Fuzzy K-means Clustering Method
In this paper, we present a missing data imputation method based on one of the most popular techniques in Knowledge Discovery in Databases (KDD), i.e. clustering technique. We comb...
Dan Li, Jitender S. Deogun, William Spaulding, Bil...
RSCTC
2004
Springer
157views Fuzzy Logic» more  RSCTC 2004»
15 years 12 months ago
Rough Approximations under Level Fuzzy Sets
The combination of fuzzy set and rough set theories lead to various models. Functional and set approaches are two categories based on different fuzzy representations. In this pape...
W.-N. Liu, Jingtao Yao, Yiyu Yao
RSCTC
2004
Springer
237views Fuzzy Logic» more  RSCTC 2004»
15 years 12 months ago
An Automated Multi-spectral MRI Segmentation Algorithm Using Approximate Reducts
Abstract. We introduce an automated multi-spectral MRI segmentation technique based on approximate reducts derived from the data mining paradigm of the theory of rough sets. We uti...
Sebastian Widz, Kenneth Revett, Dominik Slezak
SAT
2004
Springer
88views Hardware» more  SAT 2004»
15 years 12 months ago
Improving First-order Model Searching by Propositional Reasoning and Lemma Learning
The finite model generation problem in the first-order logic is a generalization of the propositional satisfiability (SAT) problem. An essential algorithm for solving the proble...
Zhuo Huang, Hantao Zhang, Jian Zhang