686 search results - page 65 / 138 » Automatic Model Generation Strategies for Model Transformati... |
122
click to vote
JUCS
2007
15 years 3 months ago
2007
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...
142
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
123
click to vote
ICRA
2000
IEEE
15 years 7 months ago
2000
IEEE
We present an approach for automatically generating complete process plans, including xturing and CNC code, from high level shape feature part descriptions. The demonstration syst...
122
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this work we concentrate on generating compound words with high order n-gram information for speech recognition. In most existing compound words generation methods, only bi-gra...
125
click to vote
MICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...