526 search results - page 1 / 106 » A Proposal of Hybrid Knowledge Engineering and Refinement Ap... |
FLAIRS
2007
13 years 6 months ago
2007
ENTCS
2008
13 years 4 months ago
2008
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 ...
PRICAI
1998
Springer
13 years 8 months ago
1998
Springer
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...
COLING
1996
13 years 5 months ago
1996
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...
HYBRID
2007
Springer
13 years 8 months ago
2007
Springer
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...