Sciweavers

TCS
2002
13 years 11 months ago
Notations for exponentiation
We define a coding of natural numbers
Arnold Beckmann
SOCO
2002
Springer
13 years 11 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
CORR
1999
Springer
65views Education» more  CORR 1999»
13 years 11 months ago
Unambiguous Computation: Boolean Hierarchies and Sparse Turing-Complete Sets
It is known that for any class C closed under union and intersection, the Boolean closure of C, the Boolean hierarchy over C, and the symmetric difference hierarchy over C all are ...
Lane A. Hemaspaandra, Jörg Rothe
SIAMJO
2000
101views more  SIAMJO 2000»
13 years 12 months ago
An Efficient Algorithm for Minimizing a Sum of p-Norms
We study the problem of minimizing a sum of p-norms where p is a fixed real number in the interval [1, ]. Several practical algorithms have been proposed to solve this problem. How...
Guoliang Xue, Yinyu Ye
CORR
2004
Springer
123views Education» more  CORR 2004»
13 years 12 months ago
Light types for polynomial time computation in lambda-calculus
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...
Patrick Baillot, Kazushige Terui
JOC
2007
125views more  JOC 2007»
13 years 12 months ago
Deterministic Polynomial-Time Equivalence of Computing the RSA Secret Key and Factoring
Abstract. We address one of the most fundamental problems concerning the RSA cryptosystem: does the knowledge of the RSA public and secret key-pair (e, d) yield the factorization o...
Jean-Sébastien Coron, Alexander May
TIT
2008
110views more  TIT 2008»
14 years 2 hour ago
Explicit Codes Achieving List Decoding Capacity: Error-Correction With Optimal Redundancy
We present error-correcting codes that achieve the information-theoretically best possible trade-off between the rate and error-correction radius. Specifically, for every 0 < R...
Venkatesan Guruswami, Atri Rudra
SIAMDM
2008
61views more  SIAMDM 2008»
14 years 17 hour ago
Unit Circular-Arc Graph Representations and Feasible Circulations
In a recent paper, Dur
Min Chih Lin, Jayme Luiz Szwarcfiter
PAMI
2006
168views more  PAMI 2006»
14 years 20 hour ago
Graphical Models and Point Pattern Matching
This paper describes a novel solution to the rigid point pattern matching problem in Euclidean spaces of any dimension. Although we assume rigid motion, jitter is allowed. We pres...
Tibério S. Caetano, Terry Caelli, Dale Schu...
MP
2006
113views more  MP 2006»
14 years 1 days ago
A class of polynomially solvable linear complementarity problems
Although the general linear complementarity problem (LCP) is NP-complete, there are special classes that can be solved in polynomial time. One example is the type where the definin...
Teresa H. Chu