Sciweavers

6110 search results - page 144 / 1222
» Approximate Computing
Sort
View
BIRTHDAY
2005
Springer
15 years 12 months ago
Reduction Strategies for Left-Linear Term Rewriting Systems
Huet and L´evy (1979) showed that needed reduction is a normalizing strategy for orthogonal (i.e., left-linear and non-overlapping) term rewriting systems. In order to obtain a de...
Yoshihito Toyama
TEC
2002
128views more  TEC 2002»
15 years 6 months ago
A framework for evolutionary optimization with approximate fitness functions
It is not unusual that an approximate model is needed for fitness evaluation in evolutionary computation. In this case, the convergence properties of the evolutionary algorithm are...
Yaochu Jin, Markus Olhofer, Bernhard Sendhoff
BIOSYSTEMS
2008
102views more  BIOSYSTEMS 2008»
15 years 6 months ago
A computational model for telomere-dependent cell-replicative aging
Telomere shortening provides a molecular basis for the Hayflick limit. Recent data suggest that telomere shortening also influence mitotic rate. We propose a stochastic growth mod...
R. D. Portugal, M. G. P. Land, Benar Fux Svaiter
TSP
2010
15 years 1 months ago
Quasi-interpolation by means of filter-banks
We consider the problem of approximating a regular function f(t) from its samples, f(nT), taken in a uniform grid. Quasi-interpolation schemes approximate f(t) with a dilated versi...
Gerardo Pérez-Villalón
DAC
1999
ACM
15 years 10 months ago
Improved Approximate Reachability Using Auxiliary State Variables
Approximate reachability techniques trade o accuracy for the capacity to deal with bigger designs. Cho et al 4 proposed partitioning the set of state bits into mutually disjoint s...
Shankar G. Govindaraju, David L. Dill, Jules P. Be...