6167 search results - page 22 / 1234 » Can Refinement be Automated |
ENTCS
2008
13 years 10 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
OWLED
2008
13 years 11 months ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
CMG
2001
13 years 11 months ago
2001
Rapid advances in research and technology now allow data analysis and modeling of extremely complex systems. Methods from artificial intelligence (AI) such as Neural Networks have...
ICLP
2001
Springer
14 years 2 months ago
2001
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling...
ITS
2010
Springer
14 years 2 months ago
2010
Springer
Tutorial Dialog has been shown to be effective in supporting both individual as well as group learners. However, unlike the case with individual learners, teams of learners often i...