781 search results - page 6 / 157 » Automatic Formal Model Generation and Analysis of SDL |
DAC
1995
ACM
13 years 11 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
ISBI
2011
IEEE
12 years 11 months ago
2011
IEEE
Studying image intensity change in each pixel in dynamic contrast enhanced (DCE)-MRI data enables differentiation of different tissue types based on their difference in contrast u...
EDM
2009
13 years 5 months ago
2009
This paper describes a novel method to create a quantitative model of an educational content domain of related practice item-types using learning curves. By using a pairwise test t...
SERP
2007
13 years 9 months ago
2007
Model driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the...
MICAI
2004
Springer
14 years 27 days ago
2004
Springer
The paper presents a method of automatic enrichment of a very large dictionary of word combinations. The method is based on results of automatic syntactic analysis (parsing) of sen...