441 search results - page 44 / 89 » Refinement of Time |
ISBI
2004
IEEE
14 years 9 months ago
2004
IEEE
DCE-MRI is a noninvasive functional imaging technique capable of assessing tumor microvasculature clinically. Major limitations associated with conventional region-of-interest (RO...
ISBI
2004
IEEE
14 years 9 months ago
2004
IEEE
Quantification of receptor binding studies obtained with PET is complicated by tissue heterogeneity in the sampling image elements pixels and voxels. This effect is caused by a li...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
CADE
2005
Springer
14 years 9 months ago
2005
Springer
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
Software development organisations are paying more and more attention to the usability of their software products. To raise the usability level of the software product, it is nece...