Sciweavers

5387 search results - page 739 / 1078
» Generating generic functions
Sort
View
171
Voted
TCAD
2008
112views more  TCAD 2008»
15 years 6 months ago
Exploiting Symmetries to Speed Up SAT-Based Boolean Matching for Logic Synthesis of FPGAs
Boolean matching is one of the enabling techniques for technology mapping and logic resynthesis of Field Programmable Gate Array (FPGA). SAT-based Boolean matching (SAT-BM) has bee...
Yu Hu, Victor Shih, Rupak Majumdar, Lei He
TCS
2008
15 years 6 months ago
Generalized approximate counting revisited
A large class of q-distributions is defined on the stochastic model of Bernoulli trials in which the probability of success (=advancing to the next level) depends geometrically on...
Guy Louchard, Helmut Prodinger
AUTOMATICA
2005
121views more  AUTOMATICA 2005»
15 years 6 months ago
Robust state observer and control design using command-to-state mapping
In this paper, by introducing the concept of command-to-state/output mapping, it is shown that the state of an uncertain nonlinear system can robustly be estimated if command-to-s...
Zhihua Qu
188
Voted
ISCI
2007
105views more  ISCI 2007»
15 years 6 months ago
Cost modeling of spatial operators using non-parametric regression
In an object-relational database management system, a query optimizer requires users to provide cost models of userdefined functions. The traditional approach is analytical, that...
Songtao Jiang, Byung Suk Lee, Zhen He
TMI
2008
91views more  TMI 2008»
15 years 6 months ago
System Calibration and Statistical Image Reconstruction for Ultra-High Resolution Stationary Pinhole SPECT
For multi-pinhole SPECT, iterative reconstruction algorithms are preferred over analytical methods, because of the often complex multi-pinhole geometries and the ability of iterat...
Frans van der Have, Brendan Vastenhouw, Marc Rentm...