1204 search results - page 127 / 241 » Termination of Polynomial Programs |
123
Voted
IEICET
2007
15 years 20 days ago
2007
The completeness (i.e. confluent and terminating) property is an important concept when using a term rewriting system (TRS) as a computational model of functional programming lang...
EUROGP
2008
Springer
15 years 2 months ago
2008
Springer
We present N-gram GP, an estimation of distribution algorithm for the evolution of linear computer programs. The algorithm learns and samples the joint probability distribution of...
87
Voted
DAM
2010
15 years 25 days ago
2010
In this paper we propose a new integer programming formulation for the multilevel facility location problem and a novel 3-approximation algorithm based on LP rounding. The linear ...
90
Voted
WIMOB
2008
IEEE
15 years 7 months ago
2008
IEEE
—In this paper, we propose two robust precoder designs for multiple-input multiple-output (MIMO) broadcast channels with imperfect channel state information (CSI). First, we cons...
125
Voted
VLDB
1994
ACM
15 years 4 months ago
1994
ACM
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...