3172 search results - page 259 / 635 » Combining Specification Techniques for Processes, Data and T... |
171
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we summarize recent developments in compact dynamical modeling for both linear and nonlinear systems arising in analog applications. These techniques include methods...
301
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
Many of the data sources used in stream query processing are known to exhibit bursty behavior. Data in a burst often has different characteristics than steady-state data, and ther...
168
click to vote
PLDI
1990
ACM
15 years 10 months ago
1990
ACM
- This paper describes techniques for optimizing range checks performed to detect array bound violations. In addition to the elimination of range check:s, the optimizations discuss...
193
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Modeling the dynamics of heart and lung tissue is challenging because the tissue deforms between data acquisitions. To reconstruct complete volumes, sample data captured at differ...
187
click to vote
TMI
2008
15 years 6 months ago
2008
Diffusion tensor magnetic resonance imaging (DT-MRI) permits the noninvasive assessment of tissue microstructure and, with fibre-tracking algorithms, allows for the 3-D trajectorie...