Sciweavers

2498 search results - page 151 / 500
» A tool for materials exploration
Sort
View
ICIP
2003
IEEE
14 years 10 months ago
A Bayesian framework for recursive object removal in movie post-production
Some of the most convincing film and video effects are created in digital post-production by removing apparatus that supports or manipulates actors and objects. Wires and people, ...
Anil C. Kokaram, Bill Collis, Simon Robinson
SIGADA
2007
Springer
14 years 2 months ago
Using SPARK for a beginner's course on reasoning about imperative programs
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
Kung-Kiu Lau
SIGMOD
2005
ACM
119views Database» more  SIGMOD 2005»
14 years 1 months ago
Database tuning advisor for microsoft SQL server 2005: demo
Database Tuning Advisor (DTA) is a physical database design tool that is part of Microsoft’s SQL Server 2005 relational database management system. Previously known as “Index ...
Sanjay Agrawal, Surajit Chaudhuri, Lubor Koll&aacu...
MSE
2003
IEEE
89views Hardware» more  MSE 2003»
14 years 1 months ago
An Analog Integrated Circuit Design Laboratory
We present the structure of an analog integrated circuit design laboratory to instruct at both, senior undergraduate and entry graduate levels. The teaching material includes: a l...
Antonio F. Mondragón-Torres, Terry Mayhugh ...
HICSS
2002
IEEE
162views Biometrics» more  HICSS 2002»
14 years 1 months ago
Designing for Pedagogical Effectiveness: The TextWeaver
The online discussion forum is the main mode of interaction for Web-based learning. Existing online instructional management systems contain primitive discussion tools that do lit...
Cindy Xin, Andrew Feenberg