Sciweavers

33356 search results - page 6291 / 6672
» Models of Continual Computation
Sort
View
TMI
2010
128views more  TMI 2010»
15 years 5 months ago
Segmentation of the Outer Vessel Wall of the Common Carotid Artery in CTA
—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...
Danijela Vukadinovic, Theo van Walsum, Rashindra M...
TOPLAS
2010
93views more  TOPLAS 2010»
15 years 5 months ago
Semantics of fractional permissions with nesting
Fractional permissions use fractions to distinguish write access (1) from read access (any smaller fraction). Nesting (an extension of adoption) can be used to model object invari...
John Tang Boyland
TOSN
2010
106views more  TOSN 2010»
15 years 5 months ago
On boundary recognition without location information in wireless sensor networks
Boundary recognition is an important and challenging issue in wireless sensor networks when no coordinates or distances are available. The distinction between inner and boundary n...
Olga Saukh, Robert Sauter, Matthias Gauger, Pedro ...
VC
2010
133views more  VC 2010»
15 years 5 months ago
Visual simulation of mixed-motion avalanches with interactions between snow layers
In the field of computer graphics, simulation of fluids, including avalanches, is an important research topic. In this paper, we propose a method to simulate a kind of avalanche,...
Yusuke Tsuda, Yonghao Yue, Yoshinori Dobashi, Tomo...
WIAS
2010
152views more  WIAS 2010»
15 years 5 months ago
Towards a systematic approach for designing autonomic systems
An autonomic system is a system capable of managing itself and adjusting its actions in the face of environmental changes. Autonomic systems are currently developed using ad-hoc ap...
Walamitien H. Oyenan, Scott A. DeLoach
« Prev « First page 6291 / 6672 Last » Next »