3736 search results - page 207 / 748 » Generative Programming |
135
click to vote
SIAMJO
2010
15 years 1 months ago
2010
The imposition of general disjunctions of the form “πx ≤ π0 ∨ πx ≥ π0 + 1”, where π, π0 are integer valued, is a fundamental operation in both the branch-and-bound...
109
click to vote
COR
2007
15 years 3 months ago
2007
This paper considers the design of two-layered fully interconnected networks.A two-layered network consists of clusters of nodes, each defining an access network and a backbone n...
126
click to vote
ICTAI
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we developed an Inductive Logic Programming (ILP) based framework ExOpaque that is able to extract a set of Horn clauses from an arbitrary opaque machine learning mo...
107
click to vote
DBPL
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We examine the maintenance of data consistency in the presence of application-database interactions. Currently, a programmer must insert explicit checks to ensure that da...
153
click to vote
PODC
2000
ACM
15 years 7 months ago
2000
ACM
Distributed programs are hard to write. A distributed debugger equipped with the mechanism to re-execute the traced computation in a controlled fashion can greatly facilitate the ...