2907 search results - page 447 / 582 » Presentations of Structures in Admissible Sets |
197
click to vote
ACNS
2007
Springer
16 years 9 days ago
2007
Springer
We present two transforms to acquire chosen ciphertext security from tag based techniques. The first one requires the separability of underlying primitives. By separability, info...
159
click to vote
ATAL
2007
Springer
16 years 9 days ago
2007
Springer
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
201
click to vote
CIVR
2007
Springer
16 years 9 days ago
2007
Springer
Generic concept detection has been a widely studied topic in recent research on multimedia analysis and retrieval, but the issue of how to exploit the structure of a multimedia on...
183
click to vote
FMICS
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
162
click to vote
GECCO
2007
Springer
16 years 8 days ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...