Sciweavers

6050 search results - page 82 / 1210
» Information In The Non-Stationary Case
Sort
View
MR
2007
173views Robotics» more  MR 2007»
15 years 5 months ago
A maintenance planning and business case development model for the application of prognostics and health management (PHM) to ele
- This paper presents a model that enables the optimal interpretation of Prognostics and Health Management (PHM) results for electronic systems. In this context, optimal interpreta...
Peter A. Sandborn, Chris Wilkinson
SEMWEB
2009
Springer
16 years 22 days ago
An Ontology-based Data Matching Framework: use Case Competency-based HRM
As part of the European PROLIX (Process Oriented Learning and Information eXchange) project, VUB STARLab designed a generic ontologybased data matching framework (ODMF). Within the...
Peter De Baer, Yan Tang, Pieter De Leenheer
FDL
2007
IEEE
16 years 16 days ago
A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
Martin Schickel, Martin Oberkönig, Martin Sch...
MKM
2007
Springer
16 years 10 days ago
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...
Predrag Janicic, Alan Bundy
OTM
2004
Springer
15 years 11 months ago
Integrating Ontologies into Learning Management Systems - A Case of Czech
The paper deals with the role of ontologies in e-learning. We report our research on the application of ontologies in intelligent platforms for self-learning and computer-mediated ...
Pavel Smrz