Sciweavers

1459 search results - page 61 / 292
» Statistical Modeling for Circuit Simulation
Sort
View
IANDC
2006
117views more  IANDC 2006»
14 years 11 months ago
Statistical probabilistic model checking with a focus on time-bounded properties
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
Håkan L. S. Younes, Reid G. Simmons
JMLR
2010
132views more  JMLR 2010»
14 years 6 months ago
Learning Gradients: Predictive Models that Infer Geometry and Statistical Dependence
The problems of dimension reduction and inference of statistical dependence are addressed by the modeling framework of learning gradients. The models we propose hold for Euclidean...
Qiang Wu, Justin Guinney, Mauro Maggioni, Sayan Mu...
TCAD
2002
145views more  TCAD 2002»
14 years 11 months ago
Automatic generation of synthetic sequential benchmark circuits
The design of programmable logic architectures and supporting computer-aided design tools fundamentally requires both a good understanding of the combinatorial nature of netlist gr...
Michael D. Hutton, Jonathan Rose, Derek G. Corneil
ISBI
2008
IEEE
16 years 16 days ago
Segmentation of fetal 3D ultrasound based on statistical prior and deformable model
A statistical variational framework is proposed for the fetus and uterus segmentation in ultrasound images. The Rayleigh and exponential distributions are used to model the pixel ...
Jérémie Anquez, Elsa D. Angelini, Is...
KES
2007
Springer
15 years 6 months ago
A Hybrid Symbolic-Statistical Approach to Modeling Metabolic Networks
Biological systems consist of many components and interactions between them. In Systems Biology the principal problem is modeling complex biological systems and reconstructing inte...
Marenglen Biba, Stefano Ferilli, Nicola Di Mauro, ...