Sciweavers

Share
572 search results - page 1 / 115
» A Proposal of Hybrid Knowledge Engineering and Refinement Ap...
Sort
View
ENTCS
2008
87views more  ENTCS 2008»
9 years 3 months ago
A Lightweight Approach for the Semantic Validation of Model Refinements
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
Claudia Pons, Diego García
PRICAI
1998
Springer
9 years 7 months ago
Knowledge-Based Formulation of Dynamic Decision Models
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
Chenggang Wang, Tze-Yun Leong
COLING
1996
9 years 4 months ago
A Gradual Refinement Model for A Robust Thai Morphological Analyzer
This work attempts to provide a robust Thai morphological analyzer which can automatically assign the correct part-of-speech tag to the correct word with time and space efficiency...
Asanee Kawtrakul, Chalatip Thumkanon, Thitima Jamj...
HYBRID
2007
Springer
9 years 7 months ago
Safety Verification of an Aircraft Landing Protocol: A Refinement Approach
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
Shinya Umeno, Nancy A. Lynch
books