1026 search results - page 92 / 206 » A Methodology for Equational Reasoning |
ICALT
2006
IEEE
14 years 3 months ago
2006
IEEE
Reusing existing web resources for e-learning is a very promising and highly promoted idea in the research field of web-based education, especially for intelligent or adaptive sys...
EUROPAR
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Simulation platforms for network processing still have difficulties in finding a good compromise between speed and accuracy. This makes it difficult to identify the caus...
LPAR
2001
Springer
14 years 1 months ago
2001
Springer
When writing a constraint program, we have to decide what to make the decision variable, and how to represent the constraints on these variables. In many cases, there is considerab...
LOPSTR
1998
Springer
14 years 1 months ago
1998
Springer
Based on a variable-free combinatory form of definite clause logic programs we outline a methodology and supporting program environment CombInduce for inducing well-moded logic pro...
AIME
1997
Springer
14 years 1 months ago
1997
Springer
This paper presents an EMG diagnostic Knowledge Based System, that is the first application of our methodology for reasoning with causal-functional (meta-)models. Despite past diff...