1989 search results - page 217 / 398 » Set functions for functional logic programming |
111
Voted
VMCAI
2010
Springer
16 years 24 days ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
127
Voted
IWAN
2000
Springer
15 years 7 months ago
2000
Springer
Policy-based networks can be customized by users by injecting programs called policies into the network nodes. So if general-purpose functions can be specified in a policy-based ne...
123
Voted
HASKELL
2006
ACM
15 years 9 months ago
2006
ACM
In this article we present GenI, a chart based surface realisation tool implemented in Haskell. GenI takes as input a set of first order terms (the input semantics) and a grammar...
110
click to vote
ICML
2008
IEEE
16 years 4 months ago
2008
IEEE
A broad class of boosting algorithms can be interpreted as performing coordinate-wise gradient descent to minimize some potential function of the margins of a data set. This class...
125
Voted
AIPRF
2007
15 years 5 months ago
2007
The relative permittivity (or static dielectric constant) of water and steam has been experimentally calculated at a relatively wide range of temperatures and pressures. A single ...