Sciweavers

3707 search results - page 317 / 742
» A Simple Technique for Self-Calibration
Sort
View
172
Voted
PERVASIVE
2005
Springer
16 years 8 days ago
Audio Location: Accurate Low-Cost Location Sensing
Audio location is a technique for performing accurate 3D location sensing using off-the-shelf audio hardware. The use of off-the-shelf hardware allows audio location deployment to ...
James Scott, Boris Dragovic
ACIVS
2005
Springer
16 years 7 days ago
Image Registration Using Uncertainty Transformations
Abstract. In this work we introduce a new technique for a frequently encountered problem in computer vision: image registration. The registration is computed by matching features, ...
Kristof Teelen, Peter Veelaert
AUSAI
2005
Springer
16 years 7 days ago
Model Checking for PRS-Like Agents
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
Wayne Wobcke, Marc Chee, Krystian Ji
SIGCSE
2004
ACM
140views Education» more  SIGCSE 2004»
16 years 6 days ago
CS1 assessment using memory diagrams
Understanding the execution of an object-oriented program can be a challenge for a student starting a CS1 course. We believe that a type of diagram that we call a memory diagram c...
Mark A. Holliday, David Luginbuhl
ACISP
2004
Springer
16 years 5 days ago
Weak Property of Malleability in NTRUSign
A new type of signature scheme, called NTRUSign, based on solving the approximately closest vector problem in a NTRU lattice was proposed at CT-RSA’03. However no security proof ...
SungJun Min, Go Yamamoto, Kwangjo Kim