7988 search results - page 379 / 1598 » A Useful Undecidable Theory |
186
Voted
FOMI
2008
15 years 8 months ago
2008
I develop a few suggestions how formal ontology can meet industry and practice. This is not just a matter of useful ontology-based applications. That is a necessary but also rather...
185
click to vote
ICCE
2007
15 years 8 months ago
2007
: Recently, instructional videos are widely being used in educational settings. Many researches have proposed the construction of video-based learning environments that reflect Cog...
135
Voted
LWA
2007
15 years 8 months ago
2007
Adaptive reading assistance can improve the reading performance of students, but current dyslexia pedagogical theories do not yet provide sound results on a micro-level. We want t...
185
Voted
AAAI
2006
15 years 8 months ago
2006
We discuss the problem of finding a good state representation in stochastic systems with observations. We develop a duality theory that generalizes existing work in predictive sta...
131
click to vote
IJCAI
2003
15 years 8 months ago
2003
Automated verification is one of the most success ful applications of automated reasoning in com puter science. In automated verification one uses algorithmic techniques to es...