20059 search results - page 3719 / 4012 » The Satellite Data Model |
120
click to vote
SIMPRA
2010
15 years 2 days ago
2010
Integrated performance simulation of buildings and heating, ventilation and airconditioning (HVAC) systems can help reducing energy consumption and increasing occupant comfort. Ho...
116
click to vote
SPIN
2010
Springer
15 years 2 days ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
113
click to vote
TMI
2010
15 years 2 days ago
2010
—This paper presents a procedure for automatic extraction and segmentation of a class-specific object (or region) by learning class-specific boundaries. We describe and evaluat...
TMI
2010
15 years 2 days ago
2010
—A novel method is presented for carotid artery vessel wall segmentation in computed tomography angiography (CTA) data. First the carotid lumen is semi-automatically segmented us...
104
click to vote
TPDS
2010
15 years 1 days ago
2010
—In distributed computing systems (DCSs) where server nodes can fail permanently with nonzero probability, the system performance can be assessed by means of the service reliabil...