Sciweavers

1816 search results - page 84 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
IADIS
2003
15 years 7 months ago
Educational Component Model for Adaptive Web-Based Courses
The primary business problem that a Learning Content Management System faces is to create just enough content, just in time, meeting the needs of different types of learners. A po...
Freddy Duitama, Bruno Defude, Amel Bouzeghoub, Cla...
IGPL
2010
111views more  IGPL 2010»
15 years 4 months ago
A logic of trust and reputation
Reputation and trust are useful instruments in multi-agent systems to evaluate agent behaviour. Most of the works on trust and reputation adopt a quantitative representation of the...
Andreas Herzig, Emiliano Lorini, Jomi Fred Hü...
KI
2005
Springer
15 years 11 months ago
Hybrid Planning Using Flexible Strategies
In this paper we present a highly modular planning system architecture. It is based on a proper formal account of hybrid planning, which allows for the formal definition of (flex...
Bernd Schattenberg, Andreas Weigl, Susanne Biundo
WORDS
2003
IEEE
15 years 11 months ago
Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience
This paper discusses some of the typical characteristics of modern Web applications and analyses some of the problems the developers of such systems have to face. One of such type...
Avelino F. Zorzo, Panayiotis Periorellis, Alexande...
EMSOFT
2010
Springer
15 years 4 months ago
PinaVM: a systemC front-end based on an executable intermediate representation
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
Kevin Marquet, Matthieu Moy