Sciweavers

1373 search results - page 216 / 275
» What is Fuzzy Logic
Sort
View
IGPL
2000
103views more  IGPL 2000»
13 years 10 months ago
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations
This paper has two goals. First, we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning....
Ofer Arieli, Arnon Avron
IANDC
2011
127views more  IANDC 2011»
13 years 5 months ago
On the consistency, expressiveness, and precision of partial modeling formalisms
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
Ou Wei, Arie Gurfinkel, Marsha Chechik
STOC
2005
ACM
150views Algorithms» more  STOC 2005»
14 years 11 months ago
Correcting errors without leaking partial information
This paper explores what kinds of information two parties must communicate in order to correct errors which occur in a shared secret string W. Any bits they communicate must leak ...
Yevgeniy Dodis, Adam Smith
CCGRID
2006
IEEE
14 years 4 months ago
Fast Freenet: Improving Freenet Performance by Preferential Partition Routing and File Mesh Propagation
The Freenet Peer-to-Peer network is doing a good job in providing anonymity to the users. But the performance of the network in terms of download speed and request hit ratio is no...
Hans-Emil Skogh, Jonas Haeggstrom, Ali Ghodsi, Ras...
ECSQARU
2001
Springer
14 years 3 months ago
New Semantics for Quantitative Possibility Theory
New semantics for numerical values given to possibility measures are provided. For epistemic possibilities, the new approach is based on the semantics of the transferable belief m...
Didier Dubois, Henri Prade, Philippe Smets