Sciweavers

3618 search results - page 47 / 724
» Additive functions for number systems in function fields
Sort
View
CRYPTO
2012
Springer
327views Cryptology» more  CRYPTO 2012»
11 years 10 months ago
Functional Encryption for Regular Languages
We provide a functional encryption system that supports functionality for regular languages. In our system a secret key is associated with a Deterministic Finite Automata (DFA) M....
Brent Waters
CORR
2011
Springer
142views Education» more  CORR 2011»
12 years 11 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
HICSS
2006
IEEE
110views Biometrics» more  HICSS 2006»
14 years 1 months ago
Flying Sinks: Heuristics for Movement in Sensor Networks
Movement in wireless and sensor environments changes the degree to which we can communicate. Whereas sensor networks are generally seen as static, in many situations there is at l...
Jeffrey V. Nickerson
CVPR
2004
IEEE
14 years 9 months ago
Robust Color Object Detection Using Spatial-Color Joint Probability Functions
Object detection in unconstrained images is an important image understanding problem with many potential applications. There has been little success in creating a single algorithm...
David J. Crandall, Jiebo Luo
ICDE
2008
IEEE
153views Database» more  ICDE 2008»
14 years 9 months ago
Increasing the Expressivity of Conditional Functional Dependencies without Extra Complexity
The paper proposes an extension of CFDs [1], referred to as extended Conditional Functional Dependencies (eCFDs). In contrast to CFDs, eCFDs specify patterns of semantically relate...
Loreto Bravo, Wenfei Fan, Floris Geerts, Shuai Ma