494 search results - page 12 / 99 » Polynomial Equivalence Problems: Algorithmic and Theoretical... |
FOCS
1992
IEEE
13 years 11 months ago
1992
IEEE
Consider a convex set P in IRd and a piecewise polynomial concave function F: P IR. Let A be an algorithm that given a point x IRd computes F(x) if x P, or returns a concave po...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
MFCS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Problem parameters are ubiquitous. In every area of computer science, we ļ¬nd all kinds of āspecial aspectsā to the problems encountered. Hence, the study of paramet...
CEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstractā This paper presents a Markov model for the convergence of multi-parent genetic algorithms (MPGAs). The proposed model formulates the variation of gene frequency caused ...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
A technique for clustering data by common attribute values involves grouping rows and columns of a binary matrix to make the minimum number of submatrices all 1ās. As binary mat...