494 search results - page 12 / 99 » Polynomial Equivalence Problems: Algorithmic and Theoretical... |
FOCS
1992
IEEE
15 years 3 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
15 years 5 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
15 years 5 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...
84
Voted
CEC
2005
IEEE
15 years 5 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 ...
103
click to vote
HICSS
2008
IEEE
15 years 6 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...