Sciweavers

1801 search results - page 149 / 361
» Pointing without a pointer
Sort
View
84
Voted
ICALP
2007
Springer
15 years 5 months ago
Constant-Round Private Database Queries
We consider several private database query problems. The starting point of this work is the element rank problem: the server holds a database of n integers, and the user an integer...
Nenad Dedic, Payman Mohassel
ICCBR
2007
Springer
15 years 5 months ago
An Analysis of Case-Based Value Function Approximation by Approximating State Transition Graphs
We identify two fundamental points of utilizing CBR for an adaptive agent that tries to learn on the basis of trial and error without a model of its environment. The first link co...
Thomas Gabel, Martin Riedmiller
KI
2007
Springer
15 years 5 months ago
How to Handle Incomplete Knowledge Concerning Moving Objects
In this paper, we present a way of how to handle incomplete knowledge concerning moving objects. Our approach is based on the basic Qualitative Trajectory Calculus (QTCB), which is...
Nico Van de Weghe, Peter Bogaert, Anthony G. Cohn,...
PERVASIVE
2007
Springer
15 years 5 months ago
Shake Well Before Use: Authentication Based on Accelerometer Data
Abstract. Small, mobile devices without user interfaces, such as Bluetooth headsets, often need to communicate securely over wireless networks. Active attacks can only be prevented...
Rene Mayrhofer, Hans Gellersen
SAS
2007
Springer
103views Formal Methods» more  SAS 2007»
15 years 5 months ago
Footprint Analysis: A Shape Analysis That Discovers Preconditions
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
Cristiano Calcagno, Dino Distefano, Peter W. O'Hea...