14190 search results - page 2615 / 2838 » Abstractions for hybrid systems |
220
click to vote
TCAD
2010
15 years 2 months ago
2010
Abstract--Microfluidics-based biochips enable the precise control of nanoliter volumes of biochemical samples and reagents. They combine electronics with biology, and they integrat...
202
click to vote
TCIAIG
2010
15 years 2 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...
224
click to vote
TCOS
2010
15 years 2 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 ...
239
click to vote
TII
2010
15 years 2 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...
214
click to vote
TMI
2010
15 years 2 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...