Sciweavers

4890 search results - page 577 / 978
» From system specifications to component behavioral models
Sort
View
BMCBI
2008
112views more  BMCBI 2008»
15 years 7 months ago
A general modeling and visualization tool for comparing different members of a group: application to studying tau-mediated regul
Background: Innumerable biological investigations require comparing collections of molecules, cells or organisms to one another with respect to one or more of their properties. Al...
Arnab Bhattacharya, Sasha Levy, Adria LeBoeuf, Mic...
PAMI
2010
113views more  PAMI 2010»
15 years 5 months ago
Hierarchical Bayesian Modeling of Topics in Time-Stamped Documents
—We consider the problem of inferring and modeling topics in a sequence of documents with known publication dates. The documents at a given time are each characterized by a topic...
Iulian Pruteanu-Malinici, Lu Ren, John William Pai...
188
Voted
ISBI
2004
IEEE
16 years 7 months ago
Bone Model Morphing for Enhanced Surgical Visualization
We propose a novel method for reconstructing a complete 3D model of a given anatomy from minimal information. This reconstruction provides an appropriate intra-operative 3D visual...
Kumar T. Rajamani, Martin Styner, Sarang C. Joshi
ECBS
2005
IEEE
160views Hardware» more  ECBS 2005»
16 years 14 days ago
Traceability-Driven Model Refinement for Test Case Generation
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
Matthias Riebisch, Michael Hübner
DAC
2007
ACM
16 years 7 months ago
Reliability Analysis for Flexible Electronics: Case Study of Integrated a-Si: H TFT Scan Driver
Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works requires pr...
Tsung-Ching Huang, Huai-Yuan Tseng, Chen-Pang Kung...