Sciweavers

918 search results - page 9 / 184
» e-Procurement Using Goal Programming
Sort
View
GECCO
1999
Springer
106views Optimization» more  GECCO 1999»
14 years 25 days ago
Generating Lemmas for Tableau-based Proof Search Using Genetic Programming
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
Marc Fuchs, Dirk Fuchs, Matthias Fuchs
MP
2010
156views more  MP 2010»
13 years 7 months ago
Representing the space of linear programs as the Grassmann manifold
: Each linear program (LP) has an optimal basis. The space of linear programs can be partitioned according to these bases, so called the basis partition. Discovering the structures...
Gongyun Zhao
DBPL
1989
Springer
120views Database» more  DBPL 1989»
14 years 18 days ago
A Framework for Comparing Type Systems for Database Programming Languages
Several proposals have been published in recent years for database programming languages (DBPLs), many of which have been object-oriented. Our goal in this paper is not to argue f...
Antonio Albano, Alan Dearle, Giorgio Ghelli, Chris...
ICLP
2010
Springer
14 years 14 days ago
Using Generalized Annotated Programs to Solve Social Network Optimization Problems
Abstract. Reasoning about social networks (labeled, directed, weighted graphs) is becoming increasingly important and there are now models of how certain phenomena (e.g. adoption o...
Paulo Shakarian, V. S. Subrahmanian, Maria Luisa S...
IWPC
2010
IEEE
13 years 7 months ago
SVS, BORS, SVSi: Three Strategies to Relate Problem and Program Domains
— Program Comprehension is improved if: i) the Problem and Program Domains can be related, and ii) this relation is shown in a suitable way to the programmer. Currently, there ar...
Mario M. Beron, Maria João Varanda Pereira,...