8699 search results - page 1460 / 1740 » Elements of the Theory of Computation |
150
click to vote
AIED
2005
Springer
16 years 8 days ago
2005
Springer
Part of the motivation behind the evolution of learning environments is the idea of providing students with individualized instructional strategies that allow them to learn as much...
169
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
In the design of resource bounded agents, high-level cognitive activities, such as reasoning, raise important problems related both to the adaptive ability and to the computationa...
189
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
This research aims to develop a model of trust and reputation that will ensure good interactions amongst software agents in large scale open systems. The following are key drivers...
161
click to vote
CALCO
2005
Springer
16 years 8 days ago
2005
Springer
Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. htt...
192
click to vote
CCS
2005
ACM
16 years 8 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...