5415 search results - page 841 / 1083 » The Implementation of Functional Programming Languages |
155
click to vote
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
We develop a new method for estimating the discrepancy of tensors associated with multiparty communication problems in the “Number on the Forehead” model of Chandra, Furst and...
184
click to vote
CP
2004
Springer
16 years 17 hour ago
2004
Springer
We study the quality of LP-based approximation methods for pure combinatorial problems. We found that the quality of the LPrelaxation is a direct function of the underlying constra...
175
click to vote
ICALP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We give an fpt approximation algorithm for the directed vertex disjoint cycle problem. Given a directed graph G with n vertices and a positive integer k, the algorithm co...
232
click to vote
ACL2
2006
ACM
16 years 18 days ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
179
click to vote
IFIP
2005
Springer
16 years 4 days ago
2005
Springer
Two different approaches are proposed to enhance the efficiency of the numerical resolution of optimal control problems governed by a linear advection– diffusion equation. In ...