Sciweavers

6269 search results - page 407 / 1254
» Turning data into knowledge
Sort
View
ICRA
2007
IEEE
114views Robotics» more  ICRA 2007»
16 years 1 months ago
Spherical Laser Point Sampling with Application to 3D Scene Genetic Registration
— Scene registration of 3D laser rangefinder scans is increasingly being required in applications, such as mobile robotics, that demand a timely response. For speeding up point ...
Jorge L. Martínez, Antonio Reina, Anthony M...
VR
2007
IEEE
118views Virtual Reality» more  VR 2007»
16 years 1 months ago
Rapid Animation of Laser-scanned Humans
We present a simple and efficient approach to turn laser-scanned human geometry into a realistically moving virtual avatar. Instead of relying on the classical skeleton-based ani...
Edilson de Aguiar, Christian Theobalt, Carsten Sto...
AIED
2007
Springer
16 years 1 months ago
Who Says Three's a Crowd? Using a Cognitive Tutor to Support Peer Tutoring
Adding student collaboration to an intelligent tutoring system could leverage the benefits of both approaches. We have incorporated a mutual peer tutoring script, where students of...
Erin Walker, Bruce M. McLaren, Nikol Rummel, Kenne...
ATVA
2007
Springer
162views Hardware» more  ATVA 2007»
16 years 1 months ago
Verifying Heap-Manipulating Programs in an SMT Framework
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. H...
CRYPTO
2007
Springer
88views Cryptology» more  CRYPTO 2007»
16 years 1 months ago
Invertible Universal Hashing and the TET Encryption Mode
This work describes a mode of operation, TET, that turns a regular block cipher into a length-preserving enciphering scheme for messages of (almost) arbitrary length. When using a...
Shai Halevi