2636 search results - page 49 / 528 » Linear Programming |
MP
2006
14 years 9 months ago
2006
There are many applications related to singly linearly constrained quadratic programs subjected to upper and lower bounds. In this paper, a new algorithm based on secant approximat...
GECCO
2009
Springer
15 years 2 months ago
2009
Springer
The notion of evolvability has been put forward to describe the“core mechanism”of natural and artificial evolution. Recently, studies have revealed the influence of the envi...
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
ENTCS
2010
14 years 10 months ago
2010
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ...
PPDP
2010
Springer
14 years 7 months ago
2010
Springer
The Constraint Simplification Rules (CSR) subset of CHR and the flat subset of LCC, where agent nesting is restricted, are very close syntactically and semantically. The first con...