9284 search results - page 388 / 1857 » Knowledge State Algorithms |
159
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
As a frame of reference I will discuss the present situation in Norway where new national curriculum states that digital literacy is as important as reading, writing and numeracy....
203
click to vote
AIED
2005
Springer
16 years 28 days ago
2005
Springer
Today's computer supported modelling environments could provide much more information about the users’ actions and problem solving processes than they usually store for late...
155
click to vote
VL
2003
IEEE
16 years 20 days ago
2003
IEEE
Interpreting general purpose programming constructs can be difficult because it requires context, such as knowledge of language syntax or idioms, which users may not have readily ...
222
click to vote
LOPSTR
2001
Springer
15 years 12 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
169
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
The ability to quickly explore and compare multiple scenarios is an important component of exploratory data analysis. Yet today’s interfaces cannot represent alternative explora...