4099 search results - page 523 / 820 » A Framework for Interactive Proof |
181
click to vote
IJLT
2007
15 years 6 months ago
2007
: Differentiated instruction is an approach to teaching that acknowledges people have multiple paths for learning and for making sense of ideas. In e-learning, differentiated instr...
153
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we describe the Rich Representation Language (RRL) which is used in the NECA system. The NECA system generates interactions between two or more animated characters....
141
click to vote
ANSOFT
1999
15 years 6 months ago
1999
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...
185
click to vote
ACL
2011
14 years 10 months ago
2011
We cast the word alignment problem as maximizing a submodular function under matroid constraints. Our framework is able to express complex interactions between alignment component...
216
click to vote
MM
2004
ACM
16 years 2 days ago
2004
ACM
In this paper, we present our approach to the problem of communicating everyday experiences. This is a challenging problem, since media from everyday events are unstructured, and ...