2652 search results - page 217 / 531 » Privacy-preserving linear programming |
192
click to vote
ISVLSI
2008
IEEE
16 years 1 months ago
2008
IEEE
We present methods to design programs or electronic circuits, for performing any operation on k registers of any sizes in a processor, in such a way that one uses no other working...
194
click to vote
ISIPTA
2003
IEEE
16 years 8 days ago
2003
IEEE
In this paper we consider decision making under hierarchical imprecise uncertainty models and derive general algorithms to determine optimal actions. Numerical examples illustrate...
195
click to vote
IPPS
2002
IEEE
15 years 12 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
162
click to vote
VLSID
1994
IEEE
15 years 11 months ago
1994
IEEE
A CORDIC based processor array which can be programmed by switch settings to compute the Discrete Hariley, Cosine or Sine lhnsforms or their inverses is described. Through a novel...
164
click to vote
WSC
2008
15 years 9 months ago
2008
Simulation has been widely applied to health care cases in numerous countries. In Colombia, these applications are scarce. We use a systemic approach, discrete event simulation, s...