2446 search results - page 140 / 490 » Choiceless Polynomial Time |
126
Voted
SIAMNUM
2010
14 years 7 months ago
2010
In this paper, we study the superconvergence property for the discontinuous Galerkin (DG) and the local discontinuous Galerkin (LDG) methods, for solving one-dimensional time depe...
121
Voted
EUROCRYPT
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. The goal of this paper is to further study the index calculus method that was first introduced by Semaev for solving the ECDLP and later developed by Gaudry and Diem. In...
92
Voted
ICML
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents a Support Vector Method for optimizing multivariate nonlinear performance measures like the F1score. Taking a multivariate prediction approach, we give an algo...
178
Voted
CP
2009
Springer
16 years 1 months ago
2009
Springer
We prove that hull consistency for a system of equations or inequalities can be achieved in polynomial time providing that the underlying functions are monotone with respect to eac...
93
Voted
CADE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Context unification (CU) is the open problem of solving context equations for trees. We distinguish a new decidable variant of CU? well-nested CU ? and present a new unif...