6110 search results - page 463 / 1222 » Approximate Computing |
199
click to vote
FOCS
1992
IEEE
15 years 11 months ago
1992
IEEE
We give a new characterization of NP: the class NP contains exactly those languages L for which membership proofs (a proof that an input x is in L) can be verified probabilisticall...
162
Voted
WSC
2004
15 years 9 months ago
2004
In many practical applications of simulation it is desirable to optimize the levels of integer or binary variables that are inputs for the simulation model. In these cases, the ob...
209
click to vote
CAGD
2005
15 years 7 months ago
2005
Morin and Goldman [Computer Aided Geometric Design 17 (2000) 813] have recently presented a remarkable new framework, based on employing Poisson series, for describing analytic fu...
193
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
The paper considers making inferences about the underlying true 2-D motion when only evaluations of a local block-based cost function, the mean of absolute or squared differences,...
238
click to vote
SPAA
2010
ACM
15 years 8 months ago
2010
ACM
We develop logarithmic approximation algorithms for extremely general formulations of multiprocessor multiinterval offline task scheduling to minimize power usage. Here each proce...