484 search results - page 73 / 97 » Computing Hilbert Class Polynomials |
151
Voted
FSTTCS
2005
Springer
15 years 7 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
108
click to vote
FOCS
2002
IEEE
15 years 6 months ago
2002
IEEE
Every compact orientable boundaryless surface M can be cut along simple loops with a common point v0, pairwise disjoint except at v0, so that the resulting surface is a topologica...
121
Voted
MFCS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. To make a joint decision, agents (or voters) are often required to provide their preferences as linear orders. To determine a winner, the given linear orders can be aggre...
121
Voted
CPM
2000
Springer
15 years 6 months ago
2000
Springer
The syntenic dista nce between two species is the minimum number of fusions, fissions, and translocations required to transform one genome into the other. The linear syntenic dis...
115
Voted
FOCS
1992
IEEE
15 years 6 months ago
1992
IEEE
The main purpose of this paper is to promote the study of computational aspects, primarily the convergence rate, of nonlinear dynamical systems from a combinatorial perspective. W...