4340 search results - page 625 / 868 » Formal Methods and Cryptography |
156
click to vote
EDM
2010
15 years 8 months ago
2010
While students' skill set profiles can be estimated with formal cognitive diagnosis models [8], their computational complexity makes simpler proxy skill estimates attractive [...
167
click to vote
NIPS
2008
15 years 8 months ago
2008
We present a novel mathematical formalism for the idea of a "local model" of an uncontrolled dynamical system, a model that makes only certain predictions in only certai...
150
click to vote
NAACL
2007
15 years 8 months ago
2007
This paper describes a new grapheme-tophoneme framework, based on a combination of formal linguistic and statistical methods. A context-free grammar is used to parse words into th...
187
click to vote
WICSA
2008
15 years 8 months ago
2008
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. However, little attention is being p...
199
click to vote
ACSW
2004
15 years 8 months ago
2004
Ontologies represent a method of formally expressing a shared understanding of information, and have been seen by many authors as a prerequisite for the "Semantic web". ...