7103 search results - page 321 / 1421 » Program Generation and Components |
106
Voted
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We describe the development of a constraint logic programming based system, called CPP, which is capable of generating most preferred plans with respect to a user’s pre...
122
Voted
NMR
2004
Springer
15 years 9 months ago
2004
Springer
We develop an Answer Set Programming formalism based on Default Logic. We show that computing generating sets of extensions in this formalism captures all ΣP 2 search problems.
318
Voted
CCO
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we survey the basic features of state-of-the-art branch-and-cut algorithms for the solution of general mixed integer programming problems. In particular we focus on p...
142
Voted
REFLECTION
2001
Springer
15 years 8 months ago
2001
Springer
, are to address what we perceive as the most pressing shortcomings of current reflective middleware platforms. First, performance: in the worst case, this needs to be on a par wit...
120
Voted
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
—In this work we propose a novel tree representation for RLC circuits. Genetic programming based on the tree representation is described and applied to passive filter synthesis p...