Sciweavers

7393 search results - page 1312 / 1479
» Synthesis-for-testability using transformations
Sort
View
SIAMADS
2010
63views more  SIAMADS 2010»
14 years 10 months ago
Time Integration and Steady-State Continuation for 2d Lubrication Equations
Lubrication equations describe many structuring processes of thin liquid films. We develop and apply a numerical framework suitable for their analysis employing a dynamical systems...
Philippe Beltrame, Uwe Thiele
TIP
2010
154views more  TIP 2010»
14 years 9 months ago
Efficient Fourier-Wavelet Super-Resolution
Super-resolution (SR) is the process of combining multiple aliased low-quality images to produce a high-resolution high-quality image. Aside from registration and fusion of low-res...
M. Dirk Robinson, Cynthia A. Toth, Joseph Y. Lo, S...
TMI
2010
134views more  TMI 2010»
14 years 9 months ago
Detection and Segmentation of Colonic Polyps on Implicit Isosurfaces by Second Principal Curvature Flow
Abstract--Today's computer aided detection systems for computed tomography colonography (CTC) enable automated detection and segmentation of colorectal polyps. We present a pa...
Cees van Wijk, Vincent Frans van Ravesteijn, Frans...
TSMC
2010
14 years 9 months ago
A Petri Net Approach to Analysis and Composition of Web Services
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
PengCheng Xiong, Yushun Fan, MengChu Zhou
TVLSI
2010
14 years 9 months ago
Improving FPGA Performance for Carry-Save Arithmetic
The selective use of carry-save arithmetic, where appropriate, can accelerate a variety of arithmetic-dominated circuits. Carry-save arithmetic occurs naturally in a variety of DSP...
Hadi Parandeh-Afshar, Ajay K. Verma, Philip Brisk,...
« Prev « First page 1312 / 1479 Last » Next »