4529 search results - page 348 / 906 » Position Based Cryptography |
178
click to vote
LWA
2008
15 years 8 months ago
2008
When performing discussion search it might be desirable to consider non-topical measures like the number of positive and negative replies to a posting, for instance as one possibl...
187
click to vote
NIPS
2004
15 years 8 months ago
2004
This paper presents a general family of algebraic positive definite similarity functions over spaces of matrices with varying column rank. The columns can represent local regions ...
202
click to vote
INTERACT
2003
15 years 8 months ago
2003
: The paper presents a new concept of computer user interface dedicated for the disabled people. The concept is based on the recognition of ultrasound image of the selected region ...
169
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
190
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...