1005 search results - page 28 / 201 » Patterns for Refinement Automation |
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
Protein subcellular locations, as an important property of proteins, are commonly learned using fluorescence microscopy. Previous work by our group has shown that automated analys...
IJAOSE
2010
13 years 4 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
BILDMED
2006
13 years 9 months ago
2006
This paper presents a new approach to automated muscle fiber analysis based on segmenting myofibers with combined region and edge based active contours. It provides reliable and fu...
DAC
2001
ACM
14 years 8 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...