Sciweavers

698 search results - page 100 / 140
» Fast functional simulation using branching programs
Sort
View
BMCBI
2006
182views more  BMCBI 2006»
15 years 1 months ago
AceTree: a tool for visual analysis of Caenorhabditis elegans embryogenesis
Background: The invariant lineage of the nematode Caenorhabditis elegans has potential as a powerful tool for the description of mutant phenotypes and gene expression patterns. We...
Thomas J. Boyle, Zhirong Bao, John I. Murray, Carl...
3DPH
2009
190views Healthcare» more  3DPH 2009»
15 years 2 months ago
Vessels-Cut: A Graph Based Approach to Patient-Specific Carotid Arteries Modeling
We present a nearly automatic graph-based segmentation method for patient specific modeling of the aortic arch and carotid arteries from CTA scans for interventional radiology simu...
Moti Freiman, Noah Broide, Miriam Natanzon, Einav ...
CGO
2004
IEEE
15 years 5 months ago
VHC: Quickly Building an Optimizer for Complex Embedded Architectures
To meet the high demand for powerful embedded processors, VLIW architectures are increasingly complex (e.g., multiple clusters), and moreover, they now run increasingly sophistica...
Michael Dupré, Nathalie Drach, Olivier Tema...
DAC
2005
ACM
15 years 3 months ago
Smart diagnostics for configurable processor verification
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
Sadik Ezer, Scott Johnson
AAAI
1998
15 years 2 months ago
Multimodal Reasoning for Automatic Model Construction
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
Reinhard Stolle, Elizabeth Bradley