6059 search results - page 988 / 1212 » A Technique for Verifying Measurements |
158
click to vote
CMSB
2008
Springer
15 years 8 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...
226
click to vote
DAMON
2008
Springer
15 years 8 months ago
2008
Springer
As access times to main memory and disks continue to diverge, faster non-volatile storage technologies become more attractive for speeding up data analysis applications. NAND flas...
157
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Information on Web2.0, generated by users of web based services, is both difficult to organize and organic in nature. Content categorization and search in such situation offers cha...
172
click to vote
EVOW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The genomic median problem is an optimization problem inspired by a biological issue: it aims at finding the chromosome organization of the common ancestor to multiple li...
193
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
Case-Based Planning (CBP) is an effective technique for solving planning problems that has the potential to reduce the computational complexity of the generative planning approache...