Sciweavers

100 search results - page 17 / 20
» Does interactivity with content enhance the quality of learn...
Sort
View
POPL
2002
ACM
14 years 8 months ago
Mining specifications
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
Glenn Ammons, James R. Larus, Rastislav Bodí...
CHI
2005
ACM
14 years 8 months ago
Connecting with kids: so what's new?
From pre-schools to high schools, at home and in museums, the educational community has embraced the use of computers as a teaching tool. Yet many institutions will simply install...
Lori L. Scarlatos, Amy Bruckman, Allison Druin, Mi...
IPPS
2005
IEEE
14 years 1 months ago
Characterizing Secure Dynamic Web Applications Scalability
Security in the access to web contents and the interaction with web sites is becoming one of the most important issues in Internet. Servers need to provide certain levels of secur...
Jordi Guitart, Vicenç Beltran, David Carrer...
CVPR
2005
IEEE
14 years 9 months ago
Hallucinating Faces: TensorPatch Super-Resolution and Coupled Residue Compensation
In this paper, we propose a new face hallucination framework based on image patches, which integrates two novel statistical super-resolution models. Considering that image patches...
Wei Liu, Dahua Lin, Xiaoou Tang
AINTEC
2007
Springer
14 years 2 months ago
WOD - Proxy-Based Web Object Delivery Service
With the tremendous growth of World Wide Web (WWW), the door has been opened to a multitude of services and information for even the most casual of users. Today, many wireless and ...
Kai-Hsiang Yang, Jan-Ming Ho