1689 search results - page 149 / 338 » On Natural Non-dcpo Domains |
149
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
This research deals with two issues for learner modeling: uncertainty and multiple perspectives. Hence, it proposes a process called cognitive mapping to acquire and describe objec...
157
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The nature of the activities that take place in Exploratory Learning Environments allow generating a variety of learner trajectories and makes difficult to develop a mod...
152
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
148
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
157
click to vote
TSD
2009
Springer
16 years 1 months ago
2009
Springer
The analysis of blogs is emerging as an exciting new area in the text processing field which attempts to harness and exploit the vast quantity of information being published by ind...