Sciweavers

1626 search results - page 191 / 326
» Hybrid computing algorithm in representing solid model
Sort
View
160
Voted
BMCBI
2008
214views more  BMCBI 2008»
15 years 2 months ago
Enhanced Bayesian modelling in BAPS software for learning genetic structures of populations
Background: During the most recent decade many Bayesian statistical models and software for answering questions related to the genetic structure underlying population samples have...
Jukka Corander, Pekka Marttinen, Jukka Siré...
GLVLSI
2008
IEEE
129views VLSI» more  GLVLSI 2008»
15 years 10 months ago
Variational capacitance modeling using orthogonal polynomial method
In this paper, we propose a novel statistical capacitance extraction method for interconnects considering process variations. The new method, called statCap, is based on the spect...
Jian Cui, Gengsheng Chen, Ruijing Shen, Sheldon X....
DAC
2003
ACM
16 years 4 months ago
Behavioral consistency of C and verilog programs using bounded model checking
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
Edmund M. Clarke, Daniel Kroening, Karen Yorav
ICASSP
2010
IEEE
15 years 3 months ago
Latent-variable decomposition based dereverberation of monaural and multi-channel signals
We present an algorithm to dereverberate single- and multi-channel audio recordings. The proposed algorithm models the magnitude spectrograms of clean audio signals as histograms ...
Rita Singh, Bhiksha Raj, Paris Smaragdis
VMV
2001
131views Visualization» more  VMV 2001»
15 years 4 months ago
Shape Model and Threshold Extraction via Shape Gradients
Shape information is utilized by numerous applications in computer vision, scientific visualization and computer graphics. This paper presents a novel algorithm for exploring and ...
Roger C. Tam, Alain Fournier