4341 search results - page 682 / 869 » Quantitative Model checking |
254
click to vote
GIS
2003
ACM
16 years 7 months ago
2003
ACM
We present a technique for creating a digital elevation model (DEM) from grid-based contour data. The method computes new, intermediate contours in between existing isolines. Thes...
187
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Power optimization is of growing importance for FPGAs in nanometer technologies. Considering dual-Vdd technique, we show that configurable power supply is required to obtain a sat...
200
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Over the past years many computer aided diagnosis (CAD) schemes have been presented for the detection of colonic polyps in CT Colonography. The vast majority of these methods (impl...
152
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. We propose a novel framework to predict pacing sites in the left ventricle (LV) of a heart and its result can be used to assist pacemaker implantation and programming in ...
141
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
Brightfield microscopy often suffers from limited depth of field, which prevents thick specimens from being imaged entirely in-focus. By optically sectioning the specimen, the inf...