Sciweavers

1141 search results - page 101 / 229
» Analyzing Electroencephalograms Using Cloud Computing Techni...
Sort
View
ISLPED
1998
ACM
86views Hardware» more  ISLPED 1998»
15 years 8 months ago
The energy complexity of register files
Register files (RF) represent a substantial portion of the energy budget in modern processors, and are growing rapidly with the trend towards wider instruction issue. The actual ...
Victor V. Zyuban, Peter M. Kogge
CSDA
2006
67views more  CSDA 2006»
15 years 4 months ago
Sensitivity analysis of the strain criterion for multidimensional scaling
Multidimensional scaling (MDS) is a collection of data analytic techniques for constructing configurations of points from dissimilarity information about interpoint distances. Cla...
R. M. Lewis, M. W. Trosset
IMR
2007
Springer
15 years 10 months ago
Automatic 3D Mesh Generation for a Domain with Multiple Materials
Abstract: This paper describes an approach to construct unstructured tetrahedral and hexahedral meshes for a domain with multiple materials. In earlier works, we developed an octre...
Yongjie Zhang, Thomas Hughes, Chandrajit L. Bajaj
KBSE
2005
IEEE
15 years 9 months ago
Learning to verify branching time properties
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
Abhay Vardhan, Mahesh Viswanathan
MICCAI
2009
Springer
15 years 8 months ago
Bayesian Maximal Paths for Coronary Artery Segmentation from 3D CT Angiograms
We propose a recursive Bayesian model for the delineation of coronary arteries from 3D CT angiograms (cardiac CTA) and discuss the use of discrete minimal path techniques as an e...
David Lesage, Elsa D. Angelini, Isabelle Bloch, Ga...