1757 search results - page 236 / 352 » Alternating Refinement Relations |
189
click to vote
PDP
2007
IEEE
16 years 18 days 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...
205
click to vote
ADAPTIVE
2007
Springer
16 years 15 days 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...
125
click to vote
AIED
2007
Springer
16 years 15 days 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...
150
click to vote
ATAL
2007
Springer
16 years 15 days 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...
164
click to vote
B
2007
Springer
16 years 15 days 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...