Sciweavers

8512 search results - page 52 / 1703
» Computing Theory With Relevance
Sort
View
SAT
2007
Springer
68views Hardware» more  SAT 2007»
14 years 2 months ago
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
Alessandro Cimatti, Alberto Griggio, Roberto Sebas...
RSCTC
2000
Springer
147views Fuzzy Logic» more  RSCTC 2000»
13 years 11 months ago
Towards Rough Neural Computing Based on Rough Membership Functions: Theory and Application
This paper introduces a neural network architecture based on rough sets and rough membership functions. The neurons of such networks instantiate approximate reasoning in assessing ...
James F. Peters, Andrzej Skowron, Liting Han, Shee...