Sciweavers

11063 search results - page 149 / 2213
» On the existence of universal models
Sort
View
MFCS
1990
Springer
15 years 10 months ago
One-Way Functions in Complexity Theory
We introduce the notion of associative one-way functions and prove that they exist if and only if P 6= NP. As evidence of their utility, we present two novel protocols that apply ...
Alan L. Selman
ERCIMDL
2006
Springer
126views Education» more  ERCIMDL 2006»
15 years 10 months ago
Adding User-Editing to a Catalogue of Cartoon Drawings
This paper describes an ongoing project to enable user-editing on an existing online database of about 120,000 British newspaper cartoons at the University of Kent. It describes th...
John Bovey
SOCO
2008
Springer
15 years 6 months ago
Strong non-standard completeness for fuzzy logics
In this paper we are going to introduce the notion of strong non-standard completeness (SNSC) for fuzzy logics. This notion naturally arises from the well known construction by ul...
Tommaso Flaminio
SOCO
2002
Springer
15 years 6 months ago
Fuzzy relation equations (I): the general and specialized solving algorithms
In this article, we develop a new method and an algorithm to solve a system of fuzzy relation equations. We first introduce a solution-base-matrix and then give a tractable mathema...
Li Chen, Paul P. Wang
JGT
2010
84views more  JGT 2010»
15 years 4 months ago
Large classes of infinite k-cop-win graphs
While finite cop-win finite graphs possess a good structural characterization, none is known for infinite cop-win graphs. As evidence that such a characterization might not exis...
Anthony Bonato, Gena Hahn, Claude Tardif