3145 search results - page 253 / 629 » Algebraic Linear Orderings |
202
click to vote
ACNS
2011
Springer
14 years 10 months ago
2011
Springer
A method for extracting cryptographic key material from DRAM used in modern computers has been recently proposed in [9]; the technique was called Cold Boot attacks. When considerin...
174
click to vote
AIED
2011
Springer
2011
Springer
Learning by Teaching SimStudent - An Initial Classroom Baseline Study Comparing with Cognitive Tutor
14 years 10 months ago
: This paper describes an application of a machine-learning agent, SimStudent, as a teachable peer learner that allows a student to learn by teaching. SimStudent has been integrate...
238
click to vote
PC
2012
14 years 2 months ago
2012
— The frenetic development of the current architectures places a strain on the current state-of-the-art programming environments. Harnessing the full potential of such architectu...
185
click to vote
CALCO
2005
Springer
16 years 8 days ago
2005
Springer
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...
189
click to vote
COORDINATION
2004
Springer
16 years 4 days ago
2004
Springer
Linda tuple spaces are flat and unstructured, in the sense that they do not allow for expressing preferences of tuples; for example, we could be interested in indicating tuples th...