Sciweavers

574 search results - page 29 / 115
» A General Framework for Covering Concepts using Terminologie...
Sort
View
75
Voted
COLT
1999
Springer
15 years 2 months ago
On a Generalized Notion of Mistake Bounds
This paper proposes the use of constructive ordinals as mistake bounds in the on-line learning model. This approach elegantly generalizes the applicability of the on-line mistake ...
Sanjay Jain, Arun Sharma
102
Voted
AH
2008
Springer
15 years 4 months ago
A Validation Framework for Formal Models in Adaptive Work-Integrated Learning
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
Barbara Kump
65
Voted
VSTTE
2005
Springer
15 years 3 months ago
Reasoning about Object Structures Using Ownership
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
Peter Müller
95
Voted
KBSE
2007
IEEE
15 years 4 months ago
Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs
Achieving high structural coverage such as branch coverage in objectoriented programs is an important and yet challenging goal due to two main challenges. First, some branches inv...
Kobi Inkumsah, Tao Xie
98
Voted
AI
2011
Springer
14 years 5 months ago
Representing preferences using intervals
In this paper we present a general framework for the comparison of intervals when preference relations have to established. The use of intervals in order to take into account impr...
Meltem Öztürk, Marc Pirlot, Alexis Tsouk...