2381 search results - page 326 / 477 » On Ordering Descriptions in a Description Logic |
149
Voted
ICCL
1992
IEEE
15 years 6 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
107
click to vote
APSEC
2007
IEEE
15 years 5 months ago
2007
IEEE
It is difficult to adopt a simulation technology for simulating a software process because of the difficulty in developing a simulation model. In order to resolve the difficulty, ...
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
We present a robust, automated oscillator macromodeling technique for extracting comprehensive phase and amplitude macromodels from oscillators' SPICE circuit descriptions. Th...
112
click to vote
EDOC
2007
IEEE
15 years 5 months ago
2007
IEEE
Enterprise architecture advocates model-based decision-making on enterprise-wide information system issues. In order to provide decisionmaking support, enterprise architecture mode...
112
click to vote
ICDAR
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper presents a syntactic recognition approach for on-line drawn graphical symbols. The proposed method consists in an incremental on-line predictive parser based on symbol ...