3738 search results - page 547 / 748 » Parametrized Logic Programming |
113
click to vote
EUSFLAT
2009
14 years 10 months ago
2009
Abstract-- In this paper, we deal with the production and transportation planning of a household appliances manufacturer that has production facilities and central stores for resel...
211
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
110
click to vote
EURODAC
1994
IEEE
15 years 4 months ago
1994
IEEE
- The accelerator is destined to circuit-level simulation of digital and analog/digital MOS VLSI'c containing of up to 100 thousand transistors (with 16 Mb RAM host-machine). ...
124
Voted
SODA
2003
ACM
15 years 1 months ago
2003
ACM
The natural relaxation for the Group Steiner Tree problem, as well as for its generalization, the Directed Steiner Tree problem, is a flow-based linear programming relaxation. We...
83
Voted
BMCBI
2010
15 years 22 days ago
2010
Background: Estimation of DNA duplex hybridization free energy is widely used for predicting cross-hybridizations in DNA computing and microarray experiments. A number of software...