Sciweavers

3387 search results - page 412 / 678
» Automating the Metamodeling Process
Sort
View
ISSS
2002
IEEE
144views Hardware» more  ISSS 2002»
15 years 11 months ago
A Visual Approach to Validating System Level Designs
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciļ¬...
Jürgen Ruf, Thomas Kropf, Jochen Klose
ITC
2002
IEEE
81views Hardware» more  ITC 2002»
15 years 11 months ago
Design Rewiring Using ATPG
—Logic optimization is the step of the very large scale integration (VLSI) design cycle where the designer performs modifications on a design to satisfy different constraints suc...
Andreas G. Veneris, Magdy S. Abadir, Mandana Amiri
ICCBR
2009
Springer
15 years 11 months ago
Determining Root Causes of Drilling Problems by Combining Cases and General Knowledge
Oil well drilling is a complex process which frequently leads to operational problems. In order to deal with some of these problems, knowledge intensive case based reasoning (KiCBR...
Samad Valipour Shokouhi, Agnar Aamodt, Pål S...
EDOC
2000
IEEE
15 years 11 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
ICPR
2000
IEEE
15 years 11 months ago
Automatic Ground-Truth Generation for Skew-Tolerance Evaluation of Document Layout Analysis Methods
Generation of ground-truths is of great importance for unbiased performance evaluation of document layout analysis methods. This is especially necessary because many methods are c...
Oleg Okun, Matti Pietikäinen