7049 search results - page 74 / 1410 » Data Abstraction for CSP-OZ |
AIME
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. The paper deals with the integrated use of Information Visualization techniques and clustering algorithms to analyze Magnetic Resonance Imaging (MRI) data sets. The paper...
CC
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
ICAPR
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. In this paper, we deal with the problem of partially observed objects. These objects are defined by a set of points and their shape variations are represented by a statis...
ICCSA
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. In this paper a methodology and a framework for personalized views on data available on the World Wide Web are proposed. We describe its main two ingredients, Web data ex...
IH
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. In this paper a novel theoretical security analysis will be presented for data hiding methods with side-information, based on Costa’s dirty paper scheme. We quantify th...