2765 search results - page 397 / 553 » Works and representation |
130
click to vote
AIED
2005
Springer
16 years 1 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...
158
click to vote
ATAL
2005
Springer
16 years 23 hour ago
2005
Springer
Mediation is the process of decomposing a task into subtasks, finding agents suitable for these subtasks and negotiating with agents to obtain commitments to execute these subtas...
151
click to vote
CIE
2005
Springer
16 years 18 hour ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
147
click to vote
CIS
2005
Springer
16 years 17 hour ago
2005
Springer
⎯A new nonslicing floorplan representation, the moving block sequence (MBS), is proposed in this paper. Our idea of the MBS originates from the observation that placing blocks on...
210
click to vote
FSTTCS
2005
Springer
16 years 6 hour ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...