Sciweavers

2715 search results - page 165 / 543
» An Implementation of Narrowing Strategies
Sort
View
159
Voted
AIEDU
2007
108views more  AIEDU 2007»
15 years 6 months ago
Explicit Reflection in Prolog-Tutor
This paper describes a reflection-based approach for open learner modeling (OLM). Tutoring dialogues are used by learners to explicitly reveal their own knowledge state to themselv...
Joséphine M. P. Tchétagni, Roger Nka...
146
Voted
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 4 months ago
On the Fictitious Play and Channel Selection Games
—Considering the interaction through mutual interference of the different radio devices, the channel selection (CS) problem in decentralized parallel multiple access channels can...
Samir Medina Perlaza, Hamidou Tembine, Samson Lasa...
IAJIT
2010
95views more  IAJIT 2010»
15 years 4 months ago
Modelling of Updating Moving Object Database Using Timed Petri Net Model
: Tracking moving objects is one of the most common requirements for many location-based applications. The location of a moving object changes continuously but the database locatio...
Hatem Abdul-Kader, Warda El-Kholy
FORMATS
2010
Springer
15 years 4 months ago
Combining Symbolic Representations for Solving Timed Games
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
Rüdiger Ehlers, Robert Mattmüller, Hans-...
147
Voted
RE
2005
Springer
15 years 11 months ago
Personal and Contextual Requirements Engineering
A framework for requirements analysis is proposed that accounts for individual and personal goals, and the effect of time and context on personal requirements. The implications of...
Alistair G. Sutcliffe, Stephen Fickas, McKay Moore...