Sciweavers

4255 search results - page 317 / 851
» Cover
Sort
View
ICDT
2005
ACM
116views Database» more  ICDT 2005»
16 years 7 days ago
The Design Space of Type Checkers for XML Transformation Languages
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...
Anders Møller, Michael I. Schwartzbach
ICIAR
2005
Springer
16 years 7 days ago
Estimating the Natural Number of Classes on Hierarchically Clustered Multi-spectral Images
Image classification is often used to extract information from multi-spectral satellite images. Unsupervised methods can produce results well adjusted to the data, but that are us...
André R. S. Marçal, Janete S. Borges
ICIAR
2005
Springer
16 years 7 days ago
A Steganographic Method for Digital Images Robust to RS Steganalysis
Digital images are increasingly being used as steganographic covers for secret communication. The Least Significant Bit (LSB) encoding is one of the most widely used methods for e...
André R. S. Marçal, Patricia R. Pere...
ICICS
2005
Springer
16 years 7 days ago
Security Properties of Two Authenticated Conference Key Agreement Protocols
In this paper we analyse the security of two authenticated group key agreement schemes based on the group key agreement protocol of Burmester and Desmedt. One scheme was proposed ...
Qiang Tang, Chris J. Mitchell
INTETAIN
2005
Springer
16 years 6 days ago
Webcrow: A Web-Based Crosswords Solver
Webcrow is a software system whose aim is to solve crosswords. Problems of like solving crosswords have been informally defined as AI-Complete and are extremely challenging for ma...
Giovanni Angelini, Marco Ernandes, Marco Gori