Sciweavers

8512 search results - page 52 / 1703
» Computing Theory With Relevance
Sort
View
77
Voted
SAT
2007
Springer
68views Hardware» more  SAT 2007»
15 years 8 months ago
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
Alessandro Cimatti, Alberto Griggio, Roberto Sebas...
233
Voted
LCC
1994
193views Algorithms» more  LCC 1994»
15 years 6 months ago
Expressing Computational Complexity in Constructive Type Theory
Robert L. Constable
129
Voted
RSCTC
2000
Springer
147views Fuzzy Logic» more  RSCTC 2000»
15 years 6 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...