3207 search results - page 551 / 642 » A Semantics for HTN Methods |
ASIACRYPT
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, we discuss non-interactive updating of decryption keys in identity-based encryption (IBE). IBE is a public key cryptosystem where a public key is an arbitrary strin...
CAV
2005
Springer
14 years 3 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
CIKM
2005
Springer
14 years 3 months ago
2005
Springer
Exploiting lexical and semantic relationships in large unstructured text collections can significantly enhance managing, integrating, and querying information locked in unstructur...
CIVR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper, we present a framework for segmenting the news programs into different story topics. The proposed method utilizes both visual and text information of the v...
DBISP2P
2005
Springer
14 years 3 months ago
2005
Springer
We propose a novel approach for de ning and querying a super-peer within a schema-based super-peer network organized into a two-level architecture: the low level, called the peer l...