6167 search results - page 22 / 1234 » Can Refinement be Automated |
119
Voted
ENTCS
2008
15 years 23 days 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...
121
click to vote
OWLED
2008
15 years 2 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...
122
Voted
CMG
2001
15 years 2 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...
113
Voted
ICLP
2001
Springer
15 years 5 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...
119
Voted
ITS
2010
Springer
15 years 5 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...