288 search results - page 32 / 58 » The Theory and Practice of Adaptive Components |
115
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...
ATMOS
2010
15 years 28 days ago
2010
Calculating timetables that are insensitive to disturbances has drawn considerable research efforts due to its practical importance on the one hand and its hard tractability by c...
121
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, an object-oriented unified optimization framework (UOF) for general problem optimization is proposed. Based on evolutionary algorithms, numerical deterministic meth...
111
click to vote
WSC
1997
15 years 3 months ago
1997
SimTutor is a multimedia intelligent tutoring system (ITS) for simulation modeling. Multimedia systems are now de facto standard on personal computers and increasing number of int...
116
click to vote
IJDET
2010
14 years 11 months ago
2010
: This paper deals with the use of learning styles in technology-enhanced learning, by introducing a so-called "Unified Learning Style Model" (ULSM). The article aims at ...