13917 search results - page 2561 / 2784 » Abstraction of Probabilistic Systems |
201
click to vote
TCIAIG
2010
15 years 1 months ago
2010
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
223
click to vote
TCOS
2010
15 years 1 months ago
2010
Abstract. In [24] Raddum and Semaev propose a technique to solve systems of polynomial equations over F2 as occurring in algebraic attacks on block ciphers. This approach is known ...
238
click to vote
TII
2010
15 years 1 months ago
2010
Abstract--Real-time systems are subject to temporal constraints and require a schedulability analysis to ensure that task execution finishes within lower and upper specified bounds...
212
click to vote
TMI
2010
15 years 1 months ago
2010
Abstract--Today's computer aided detection systems for computed tomography colonography (CTC) enable automated detection and segmentation of colorectal polyps. We present a pa...
194
click to vote
TMI
2010
15 years 1 months ago
2010
Abstract--We aim at improving quantitative measures of emphysema in computed tomography (CT) images of the lungs. Current standard measures, such as the relative area of emphysema ...