Sciweavers

2777 search results - page 28 / 556
» Example centric programming
Sort
View
IOR
2011
133views more  IOR 2011»
14 years 4 months ago
Finite Disjunctive Programming Characterizations for General Mixed-Integer Linear Programs
In this paper, we give a finite disjunctive programming procedure to obtain the convex hull of general mixed-integer linear programs (MILP) with bounded integer variables. We prop...
Binyuan Chen, Simge Küçükyavuz, S...
ILP
2005
Springer
15 years 3 months ago
A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...
Héctor Corrada Bravo, David Page, Raghu Ram...
CORR
2008
Springer
111views Education» more  CORR 2008»
14 years 9 months ago
Product theorems via semidefinite programming
The tendency of semidefinite programs to compose perfectly under product has been exploited many times in complexity theory: for example, by Lov
Troy Lee, Rajat Mittal
EUROCAST
1994
Springer
139views Hardware» more  EUROCAST 1994»
15 years 1 months ago
Illustrating Constraint Programming Systems in Logistic Planning
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...
Jean-Michel Thizy
FMCO
2004
Springer
105views Formal Methods» more  FMCO 2004»
15 years 3 months ago
Program Generation and Components
Abstract. The first part of the paper gives a brief overview of metaprogramming, in particular program generation, and its use in software development. The second part introduces ...
Davide Ancona, Eugenio Moggi