2652 search results - page 149 / 531 » Privacy-preserving linear programming |
129
Voted
PTS
2008
15 years 4 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
114
Voted
DISOPT
2008
15 years 3 months ago
2008
In this article we study a broad class of integer programming problems in variable dimension. We show that these so-termed n-fold integer programming problems are polynomial time ...
124
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
135
click to vote
ICDT
1995
ACM
15 years 6 months ago
1995
ACM
Following results are sketched in this extended abstract: (1) Datalog recursive programs where each rule has at most one subgoal called unit recursions are shown to be bounded, wit...
105
click to vote
SUM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Probabilistic logic programs have primarily studied the problem of entailment of probabilistic atoms. However, there are some interesting applications where we are intere...