Sciweavers

1092 search results - page 208 / 219
» Structuralizing educational videos based on presentation con...
Sort
View
SI3D
1999
ACM
15 years 10 months ago
Interactive technical illustration
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...
Bruce Gooch, Peter-Pike J. Sloan, Amy Gooch, Peter...
ICALT
2005
IEEE
15 years 11 months ago
ActiveTutor
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...
Jean Pierre Fournier
MICCAI
2004
Springer
16 years 6 months ago
Scale-Invariant Registration of Monocular Endoscopic Images to CT-Scans for Sinus Surgery
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...
Darius Burschka, Ming Li, Russell H. Taylor, Grego...
ESOP
2008
Springer
15 years 7 months ago
Verification of Higher-Order Computation: A Game-Semantic Approach
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...
C.-H. Luke Ong
WWW
2004
ACM
16 years 6 months ago
Efficient web change monitoring with page digest
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...
David Buttler, Daniel Rocco, Ling Liu