8197 search results - page 1258 / 1640 » Adaptive functional programming |
214
click to vote
IFIP
2004
Springer
16 years 6 hour ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
200
click to vote
KES
2004
Springer
16 years 1 hour ago
2004
Springer
The goal of the GecGo middleware is to provide all the services required by self-organizing distributed applications running on multihop ad-hoc networks. Because of the frequent as...
172
click to vote
KI
2004
Springer
16 years 1 hour ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
199
click to vote
MOZ
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Although Constraint Programming (CP) is considered a useful tool for tackling combinatorial problems, its lack of flexibility when dealing with uncertainties and prefere...
217
click to vote
PATAT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Service network design is critical to the profitability of express shipment carriers. In this paper, we consider the problem of designing the integrated service network ...