Sciweavers

2771 search results - page 61 / 555
» Using Computational Reflection in Optimistic Distributed Sim...
Sort
View
CCGRID
2006
IEEE
15 years 3 months ago
Integrating the HLA RTI Services with Scilab
This paper describes the integration of the High Level Architecture (HLA), an IEEE standard for distributed interactive simulation, with a scientific software package (Scilab) and...
Thitima Theppaya, Pichaya Tandayya, Chatchai Janta...
SIGCSE
2003
ACM
137views Education» more  SIGCSE 2003»
15 years 3 months ago
Measuring the effectiveness of robots in teaching computer science
We report the results of a year-long experiment in the use of robots to teach computer science. Our data set compares results from over 800 students on identical tests from both r...
Barry S. Fagin, Laurence D. Merkle
CVPR
2009
IEEE
16 years 4 months ago
Material Classification using BRDF Slices
Segmenting images into distinct material types is a very useful capability. Most work in image segmentation addresses the case where only a single image is available. Some methods ...
Oliver Wang (University of California, Santa Cruz)...
ICCV
2007
IEEE
15 years 11 months ago
Fitting a Morphable Model to 3D Scans of Faces
This paper presents a top-down approach to 3D data analysis by fitting a Morphable Model to scans of faces. In a unified framework, the algorithm optimizes shape, texture, pose an...
Volker Blanz, Kristina Scherbaum, Hans-Peter Seide...
PPOPP
2006
ACM
15 years 3 months ago
Proving correctness of highly-concurrent linearisable objects
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Mar...