2652 search results - page 217 / 531 » Privacy-preserving linear programming |
127
Voted
ISVLSI
2008
IEEE
15 years 10 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...
140
Voted
ISIPTA
2003
IEEE
15 years 9 months 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...
151
Voted
IPPS
2002
IEEE
15 years 8 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...
121
Voted
VLSID
1994
IEEE
15 years 7 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...
108
Voted
WSC
2008
15 years 6 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...