201 search results - page 18 / 41 » extreme 2003 |
MICCAI
2003
Springer
14 years 8 months ago
2003
Springer
The quality of cardiac images acquired with multi-detector CT scanners has improved significantly, to the point where minimally invasive examination of the coronary arteries became...
VLSID
2003
IEEE
14 years 8 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
CHI
2003
ACM
14 years 8 months ago
2003
ACM
A multi-leveled framework for user interface design guidelines of Web applications is presented. User interface design guidelines tend to provide information that is either too ge...
RECOMB
2003
Springer
14 years 7 months ago
2003
Springer
Genetic linkage analysis is a challenging application which requires Bayesian networks consisting of thousands of vertices. Consequently, computing the likelihood of data, which i...
STOC
2003
ACM
14 years 7 months ago
2003
ACM
In dynamic stabbing, we operate on a dynamic set of intervals. A stabbing query asks for an interval containing a given point. This basic problem encodes problems such as method l...