Sciweavers

2746 search results - page 384 / 550
» Behavioral Simulations in MapReduce
Sort
View
DAC
2006
ACM
16 years 7 months ago
Statistical logic cell delay analysis using a current-based model
A statistical model for the purpose of logic cell timing analysis in the presence of process variations is presented. A new current-based cell delay model is utilized, which can a...
Hanif Fatemi, Shahin Nazarian, Massoud Pedram
DAC
2006
ACM
16 years 7 months ago
Formal analysis of hardware requirements
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
Ingo Pill, Simone Semprini, Roberto Cavada, Marco ...
MICCAI
2004
Springer
16 years 7 months ago
3D Bayesian Regularization of Diffusion Tensor MRI Using Multivariate Gaussian Markov Random Fields
3D Bayesian regularization applied to diffusion tensor MRI is presented here. The approach uses Markov Random Field ideas and is based upon the definition of a 3D neighborhood syst...
Marcos Martín-Fernández, Carl-Fredri...
ISBI
2004
IEEE
16 years 7 months ago
Nonrigid Registration of Medical Image by Maxwell Model of Viscoelasticity
Nonrigid medical image registration has many potentially applications for diagnosis and monitoring disease progression in the clinic, and is very hot in computational anatomy. How...
Songyuan Tang, Tianzi Jiang
WWW
2007
ACM
16 years 7 months ago
Measuring credibility of users in an e-learning environment
Learning Villages (LV) is an E-learning platform for people's online discussions and frequently citing postings of one another. In this paper, we propose a novel method to ra...
Wei Wei, Jimmy Ho-Man Lee, Irwin King