220 search results - page 17 / 44 » ideal 2005 |
ICALP
2005
Springer
14 years 4 months ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
ICDT
2005
ACM
14 years 4 months ago
2005
ACM
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...
ICIAR
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. This paper presents a new cDNA microarray image segmentation framework. The framework uses robust vector median filtering to generate a root sigLnal which is an image ob...
IH
2005
Springer
14 years 4 months ago
2005
Springer
This paper investigates the possibilities of steganographically embedding information in the \noise" created by automatic translation of natural language documents. Because th...
ISSAC
2005
Springer
14 years 4 months ago
2005
Springer
This paper presents a duality analysis and an algorithm for computing the multiplicity structure of a zero to a polynomial system, while the zero can be exact or approximate with ...