1757 search results - page 236 / 352 » Alternating Refinement Relations |
161
Voted
PDP
2007
IEEE
15 years 10 months ago
2007
IEEE
—Grid computing is becoming more and more attractive for coordinating large-scale heterogeneous resource sharing and problem solving. Of particular interest for effective Grid co...
153
click to vote
ADAPTIVE
2007
Springer
15 years 10 months ago
2007
Springer
The large amount of available information on the Web makes it hard for users to locate resources about particular topics of interest. Traditional search tools, e.g., search engines...
98
Voted
AIED
2007
Springer
15 years 10 months ago
2007
Springer
Self-explaining has been repeatedly shown to result in positive learning outcomes for students in a wide variety of disciplines. However, there are two potential accounts for why s...
114
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We address the problem of standardising the semantics of agent communication. The diversity of existing approaches suggests that no single agent communication language can satisfa...
127
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...