4835 search results - page 211 / 967 » Refactoring Functional Programs |
127
click to vote
ECWEB
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. e-Procurement is an Internet-based business process for obtaining materials and services and managing their inflow into the organization. In this paper we develop multia...
102
click to vote
ICLP
1998
Springer
15 years 6 months ago
1998
Springer
Implementing a compiler for a language with nondeterministic features is known to be a difficult task. This paper presents two new functions setChoicePoint and fail that extend th...
121
click to vote
MP
2008
15 years 2 months ago
2008
We analyze the rate of local convergence of the augmented Lagrangian method for nonlinear semidefinite optimization. The presence of the positive semidefinite cone constraint requ...
131
click to vote
CP
2010
Springer
15 years 15 days ago
2010
Springer
We introduce a parallelized version of tree-decomposition based dynamic programming for solving difficult weighted CSP instances on many cores. A tree decomposition organizes cost ...
119
Voted
CSB
2005
IEEE
15 years 8 months ago
2005
IEEE
The availability of entire genome sequences, coupled with genome-wide studies of gene expression, offers promise for discovering new pathways along with their regulatory programs....