Sciweavers

2562 search results - page 318 / 513
» The Use of B2B Process Standards: A Case Study
Sort
View
EKAW
2004
Springer
15 years 12 months ago
Enhancing Ontological Knowledge Through Ontology Population and Enrichment
Abstract. Ontologies are widely used for capturing and organizing knowledge of a particular domain of interest. This knowledge is usually evolvable and therefore an ontology mainte...
Alexandros G. Valarakos, Georgios Paliouras, Vange...
FORMATS
2003
Springer
15 years 11 months ago
Analysis of Real Time Operating System Based Applications
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
Libor Waszniowski, Zdenek Hanzálek
SPIN
1999
Springer
15 years 10 months ago
Model Checking Operator Procedures
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
Wenhui Zhang
ITS
1998
Springer
129views Multimedia» more  ITS 1998»
15 years 10 months ago
Cognitive Measures for Visual Concept Teaching with Intelligent Tutoring Systems
Abstract: This article reports on the application of general cognitive measures to describe and order the knowledge base of radiological images, aimed at the teaching of visual con...
Andrey R. Pimentel, Alexandre I. Direne
VLSID
2010
IEEE
211views VLSI» more  VLSID 2010»
15 years 10 months ago
A Combined DOE-ILP Based Power and Read Stability Optimization in Nano-CMOS SRAM
A novel design approach for simultaneous power and stability (static noise margin, SNM) optimization of nanoCMOS static random access memory (SRAM) is presented. A 45nm single-end...
Garima Thakral, Saraju P. Mohanty, Dhruva Ghai, Dh...