403 search results - page 47 / 81 » Contracts for higher-order functions |
184
click to vote
CP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
176
Voted
WIOPT
2011
IEEE
14 years 9 months ago
2011
IEEE
—In this paper, we address the spectrum portfolio optimization (SPO) question in the context of secondary spectrum markets, where bandwidth (spectrum access rights) can be bought...
133
click to vote
IMR
2003
Springer
15 years 11 months ago
2003
Springer
Quadratic elements place stringent requirements on a surface mesh smoother. One of the biggest challenges is that a good linear element may become invalid when mid-side nodes are ...
161
click to vote
ASWEC
2009
IEEE
15 years 11 months ago
2009
IEEE
In open systems, independent services exist in administrative domains outside that of the consumers of those services. Current standards exist to create management interfaces to a...
164
click to vote
LOPSTR
1997
Springer
15 years 10 months ago
1997
Springer
Schema-based program transformation [8] has been proposed as an effective technique for the optimisation of logic programs. Schemata are applied to a logic program, mapping ineffi...