491 search results - page 63 / 99 » Linear Quantifier Elimination |
CIDM
2007
IEEE
14 years 1 months ago
2007
IEEE
— In climate models, aerosol forcing is the major source of uncertainty in climate forcing, over the industrial period. To reduce this uncertainty, instruments on satellites have...
3DPVT
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper addresses the challenging problem of statistics on images by describing average and variability. We describe computational anatomy tools for building 3-D and spatio-tem...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— In this investigation we put forth a simple model to quantify the capacity of series elasticity to increase peak power output from an actuator. Using a linear bandwidth limited...
ISCA
1992
IEEE
13 years 11 months ago
1992
IEEE
As multiprocessor sizes scale and computer architects turn to interconnection networks with non-uniform communication latencies, the lure of exploiting communication locality to i...
CMSB
2008
Springer
13 years 9 months ago
2008
Springer
We present the Piecewise Linear Approximation Model of Ion Channel contribution (PLAMIC) to cardiac excitation. We use the PLAMIC model to conduct formal analysis of cardiac arrhyt...