823 search results - page 87 / 165 » Stateful Subset Cover |
KER
2008
13 years 10 months ago
2008
This article surveys existing practical implementations of both defeasible and argumentationbased reasoning engines and associated literature. We aim to summarise the current stat...
JWE
2002
13 years 9 months ago
2002
To address the significant technical demand for trained Web Engineers, and to raise the current state of the practice of Web Engineering, a Master's level degree program in W...
TCAD
1998
13 years 9 months ago
1998
Most existing tools for the synthesisof asynchronouscircuits from Signal Transition Graphs (STGs) derive the reachability graph for the calculation of logic equations. This paper ...
ACIIDS
2009
IEEE
13 years 7 months ago
2009
IEEE
In this study, we propose a method of stability analysis for a GA-Based reference ANNC capable of handling these types of problems for a nonlinear system. The initial values of the...
ICSEA
2009
IEEE
13 years 7 months ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...