Sciweavers

6320 search results - page 286 / 1264
» Towards Situated Computing
Sort
View
AISC
1998
Springer
15 years 10 months ago
Reasoning About Coding Theory: The Benefits We Get from Computer Algebra
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
Clemens Ballarin, Lawrence C. Paulson
IPPS
2010
IEEE
15 years 4 months ago
Optimization of linked list prefix computations on multithreaded GPUs using CUDA
We present a number of optimization techniques to compute prefix sums on linked lists and implement them on multithreaded GPUs using CUDA. Prefix computations on linked structures ...
Zheng Wei, Joseph JáJá
CVPR
2003
IEEE
16 years 8 months ago
Toward a Stratification of Helmholtz Stereopsis
Helmholtz stereopsis has been previously introduced as a surface reconstruction technique that does not assume a model of surface reflectance. This technique relies on the use of ...
Todd Zickler, Peter N. Belhumeur, David J. Kriegma...
CVPR
2008
IEEE
16 years 8 months ago
Toward automatic 3D modeling of scenes using a generic camera model
The automatic reconstruction of 3D models from image sequences is still a very active field of research. All existing methods are designed for a given camera model, and a new (and...
Maxime Lhuillier
ICPR
2008
IEEE
16 years 7 months ago
Towards mobile authentication using dynamic signature verification: Useful features and performance evaluation
The proliferation of handheld devices such as PDAs and smartphones represents a new scenario for automatic signature verification. Traditionally, research on signature verificatio...
Marcos Martinez-Diaz, Julian Fiérrez-Aguila...