2182 search results - page 284 / 437 » A Robust Algorithm for Solving Nonlinear Programming Problem... |
115
click to vote
ANOR
2008
15 years 2 months ago
2008
Abstract Column generation techniques have become a widely used technique to successfully solve large (integer) linear programs. One of the keys to obtaining a practically efficien...
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
126
Voted
AGP
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
120
click to vote
CCE
2004
15 years 2 months ago
2004
The idea of cyclic scheduling is commonly utilized to address short-term scheduling problems for multiproduct batch plants under the assumption of relatively stable operations and...
105
Voted
SRDS
2006
IEEE
15 years 8 months ago
2006
IEEE
Celeste is a robust peer-to-peer object store built on top of a distributed hash table (DHT). Celeste is a working system, developed by Sun Microsystems Laboratories. During the d...