1092 search results - page 208 / 219 » Structuralizing educational videos based on presentation con... |
SI3D
1999
ACM
15 years 1 months ago
1999
ACM
A rendering is an abstraction that favors, preserves, or even emphasizes some qualities while sacrificing, suppressing, or omitting other characteristics that are not the focus o...
ICALT
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...
MICCAI
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we present a novel method for intra-operative registration directly from monocular endoscopic images. This technique has the potential to provide a more accurate su...
ESOP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
The Internet and the World Wide Web have enabled a publishing explosion of useful online information, which has produced the unfortunate side effect of information overload: it is...