75 search results - page 11 / 15 » Termination Analysis of Higher-Order Functional Programs |
155
click to vote
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
151
click to vote
DBPL
2007
Springer
15 years 9 months ago
2007
Springer
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...
188
click to vote
CEC
2011
IEEE
14 years 5 months ago
2011
IEEE
—Constrained Genetic Programming (CGP) is a method of searching the Genetic Programming search space non-uniformly, giving preferences to certain subspaces according to some heur...
148
click to vote
JGO
2010
15 years 2 days ago
2010
The best known method to find exact or at least -approximate solutions to polynomial programming problems is the spatial Branch-and-Bound algorithm, which rests on computing lower...
138
click to vote
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
: IEEE 802.11 is a wireless network standard that was completed in 1997. Unfortunately, the medium access protocol described in the standard meets some problems that arise from the...