293 search results - page 39 / 59 » Quantitative analysis of scrolling techniques |
ISBI
2007
IEEE
14 years 2 months ago
2007
IEEE
X-ray imaging is an extensively used intra-operative imaging modality because of its low cost and portability. These images have to be corrected for geometric distortion in order ...
CMSB
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
EWSPT
1995
Springer
13 years 11 months ago
1995
Springer
A wide variety of techniques and approaches are needed to understand and improve software development processes. The critical research problem is supporting the move from completel...
AAAI
1990
13 years 9 months ago
1990
Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains difficult. When a model is created fo...
DRR
2008
13 years 9 months ago
2008
Degraded documents are frequently obtained in various situations. Examples of degraded document collections include historical document depositories, document obtained in legal an...