3951 search results - page 222 / 791 » Automatic amortized analysis |
144
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
For diagnosis, preoperative planning and postoperative guides, an accurate estimate of joints kinematics is required. We bring together MRI developments and new image processing me...
143
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
Many studies have explored the issues of interruption and availability in workplace environments, however, few have focused on human interruptibility in home environments. To make...
184
click to vote
RECOMB
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. The Pathalyzer is a program for analyzing large-scale signal transduction networks. Reactions and their substrates and products are represented as transitions and places ...
149
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
169
click to vote
ICSM
2009
IEEE
16 years 24 days ago
2009
IEEE
The goal of a load test is to uncover functional and performance problems of a system under load. Performance problems refer to the situations where a system suffers from unexpect...