972 search results - page 159 / 195 » Intersection types and computational effects |
PVLDB
2010
13 years 7 months ago
2010
The goal of a threshold query is to detect all objects whose score exceeds a given threshold. This type of query is used in many settings, such as data mining, event triggering, a...
IDEAL
2010
Springer
13 years 6 months ago
2010
Springer
Many of our activities on computer need a verification step for authorized access. The goal of verification is to tell apart the true account owner from intruders. We propose a gen...
TMC
2011
13 years 3 months ago
2011
—Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoret...
ICASSP
2011
IEEE
13 years 17 days ago
2011
IEEE
Short-range wireless audio transmission with high quality on the one hand often encounters error-prone channels, while on the other hand decoding delay plays a critical role in th...
FROCOS
2011
Springer
12 years 8 months ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...