6167 search results - page 30 / 1234 » Can Refinement be Automated |
Publication
Within-die process variations arise during integrated circuit (IC) fabrication in the sub-100nm regime. These variations are of paramount concern as they deviate the performance of...
TARK
2007
Springer
14 years 4 months ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
EDM
2008
13 years 11 months ago
2008
In a previous study ([4]), we used the ASSISTment system to track student knowledge longitudinally over the course of a schools year, based upon each student using our system about...
BILDMED
2006
13 years 11 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 11 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...