2652 search results - page 122 / 531 » Privacy-preserving linear programming |
121
click to vote
DAM
1998
15 years 2 months ago
1998
We first consider so-called (1,+s)-branching programs in which along every consistent path at most s variables are tested more than once. We prove that any such program computing...
112
click to vote
WSC
1997
15 years 4 months ago
1997
This paper presents an implementation methodology appropriate for providing a broad range of proven, classical Operations Research methods and techniques to the simulation modeler...
123
click to vote
ICTAC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
115
click to vote
CVPR
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we show that Ullman and Basri’s linear combination (LC) representation, which was originally proposed for alignment-based object recognition, can be used for outli...
129
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...