Sciweavers

8512 search results - page 52 / 1703
» Computing Theory With Relevance
Sort
View
82
Voted
SAT
2007
Springer
68views Hardware» more  SAT 2007»
15 years 9 months ago
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
Alessandro Cimatti, Alberto Griggio, Roberto Sebas...
88
Voted
SIGMETRICS
2010
ACM
174views Hardware» more  SIGMETRICS 2010»
15 years 8 months ago
Detecting sources of computer viruses in networks: theory and experiment
Devavrat Shah, Tauhid Zaman
242
Voted
LCC
1994
193views Algorithms» more  LCC 1994»
15 years 7 months ago
Expressing Computational Complexity in Constructive Type Theory
Robert L. Constable
136
Voted
RSCTC
2000
Springer
147views Fuzzy Logic» more  RSCTC 2000»
15 years 7 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...