Sciweavers

102291 search results - page 153 / 20459
» Computing
Sort
View
ITICSE
2010
ACM
15 years 11 months ago
Helping students build a mental model of computation
Introductory computer science classes are known for having a high attrition rate. Some authors believe this is due to students’ difficulties in establishing a mental model of co...
Steve Kollmansberger
FROCOS
2000
Springer
15 years 11 months ago
Non-Trivial Symbolic Computations in Proof Planning
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
Volker Sorge
ETVC
2008
15 years 9 months ago
Computational Photography: Epsilon to Coded Photography
Computational photography combines plentiful computing, digital sensors, modern optics, actuators, and smart lights to escape the limitations of traditional cameras, enables novel ...
Ramesh Raskar
IADIS
2003
15 years 8 months ago
Computing Migration Through Context Awareness and Context Transmission
With the development of wireless communication and portable devices, people can now enjoy the benefits of mobile computing. But due to the nature and design of portable devices, i...
Zhaohui Cheng, Kenneth Chin, Yuan Luo
CG
2000
Springer
15 years 7 months ago
Re-inventing the introductory computer graphics course: providing tools for a wider audience
Traditionally, the introductory computer graphics course in computer science has focused on fundamental algorithms and techniques for creating images and animations. This was refl...
Steve Cunningham
« Prev « First page 153 / 20459 Last » Next »