Sciweavers

8512 search results - page 52 / 1703

» Computing Theory With Relevance

100

SAT
2007
Springer

68views Hardware» more SAT 2007»

A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories

16 years 3 days ago

A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories

Download www.csi.ucd.ie

Alessandro Cimatti, Alberto Griggio, Roberto Sebas...

claim paper

Read More »

182

FUZZY
2001
Springer

140views Fuzzy Logic» more FUZZY 2001»

A New Direction in AI - Toward a Computational Theory of Perceptions

15 years 10 months ago

A New Direction in AI - Toward a Computational Theory of Perceptions

Download www.aistudy.co.kr

Lotfi A. Zadeh

claim paper

Read More »

110

SIGMETRICS
2010
ACM

174views Hardware» more SIGMETRICS 2010»

Detecting sources of computer viruses in networks: theory and experiment

15 years 10 months ago

Detecting sources of computer viruses in networks: theory and experiment

Download web.mit.edu

Devavrat Shah, Tauhid Zaman

claim paper

Read More »

270

LCC
1994

193views Algorithms» more LCC 1994»

Expressing Computational Complexity in Constructive Type Theory

15 years 10 months ago

Expressing Computational Complexity in Constructive Type Theory

Download ce.sharif.edu

Robert L. Constable

claim paper

Read More »

169

RSCTC
2000
Springer

147views Fuzzy Logic» more RSCTC 2000»

Towards Rough Neural Computing Based on Rough Membership Functions: Theory and Application

15 years 9 months ago

Towards Rough Neural Computing Based on Rough Membership Functions: Theory and Application

Download logic.mimuw.edu.pl

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...

claim paper

Read More »

« Prev « First page 52 / 1703 Last » Next »