10038 search results - page 1578 / 2008 » Model Checking for Managers |
180
click to vote
CONTEXT
2007
Springer
16 years 28 days ago
2007
Springer
In our research work, we consider that access to semi-structured documents is carried out by a data-oriented query. With different users and a same query, the returned results are ...
187
click to vote
CONTEXT
2007
Springer
16 years 28 days ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
157
click to vote
ECTEL
2007
Springer
16 years 27 days ago
2007
Springer
Today, systems should react based on explicit demands from the learner or even proactively react based on changes in the working environment. The success of this type of systems de...
154
click to vote
ECTEL
2007
Springer
16 years 27 days ago
2007
Springer
Project-centred learning is increasingly used both in academia and in companies; universities train students to master complex tasks, often suggested by real-life situations, while...
151
click to vote
ECTEL
2007
Springer
16 years 27 days ago
2007
Springer
Projects involving technology are notoriously dogged with difficulties and a number of lessons can be learned. Rather than detail examples from particular TEL projects, the author ...