5647 search results - page 780 / 1130 » A word from the editor |
204
click to vote
TPHOL
2005
IEEE
16 years 10 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
152
click to vote
MM
2005
ACM
16 years 9 days ago
2005
ACM
In this paper, we propose a structure and components of a conversational television set(TV) to which we can ask anything on the broadcasted contents and receive the interesting in...
133
click to vote
AIED
2005
Springer
16 years 9 days ago
2005
Springer
We hereby describe DIANE an environment that aims at performing an automatic diagnosis on arithmetic problems depending on the productions of the learners. This work relies on resu...
156
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
Argumentation-based negotiation (ABN) provides agents with an effective means to resolve conflicts within a multi-agent society. However, to engage in such argumentative encounter...
219
click to vote
CIKM
2005
Springer
16 years 9 days ago
2005
Springer
There has recently been a significant increase in the number of community-based question and answer services on the Web where people answer other peoples’ questions. These serv...