Sciweavers

3664 search results - page 507 / 733
» Language Technology for eLearning
Sort
View
CORR
2010
Springer
100views Education» more  CORR 2010»
15 years 1 months ago
Discovering Knowledge from Multi-modal Lecture Recordings
Educational media mining is the process of converting raw media data from educational systems to useful information that can be used to design learning systems, answer research qu...
Kannan Rajkumar, Christian Guetl
WIAS
2010
109views more  WIAS 2010»
15 years 1 months ago
Model identification in interactive influence diagrams using mutual information
Modeling the perceived behaviors of other agents improves the performance of an agent in multiagent interactions. We utilize the language of interactive influence diagrams to mode...
Yifeng Zeng, Prashant Doshi
IGPL
2011
14 years 10 months ago
Generalized ordinal sums and translations
We extend the lattice embedding of the axiomatic extensions of the positive fragment of intuitionistic logic into the axiomatic extensions of intuitionistic logic to the setting of...
Nikolaos Galatos
IGPL
2011
14 years 10 months ago
Interpolation and FEP for logics of residuated algebras
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
Wojciech Buszkowski
182
Voted
WWW
2009
ACM
16 years 7 months ago
Using static analysis for Ajax intrusion detection
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
Arjun Guha, Shriram Krishnamurthi, Trevor Jim