1816 search results - page 40 / 364 » Formal Concepts of Learning Systems Validation in Use |
FM
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
INTERACT
2003
13 years 9 months ago
2003
: New Information Technologies (IT) offer a new way for teaching and learning. Rather than simply duplicate old learning materials and make them correspond to the new IT tools, it ...
KCAP
2005
ACM
14 years 2 months ago
2005
ACM
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
ICMAS
2000
13 years 9 months ago
2000
We present a concept to use off-line learning approaches to achieve on-line learning of cooperative behavior of agents and instantiate this concept for evolutionary learning with ...
ENTCS
2008
13 years 8 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...