Sciweavers

2421 search results - page 56 / 485
» Integrity Assurance Technique Using Determinant Approach
Sort
View
AIME
2005
Springer
15 years 6 months ago
Towards Information Visualization and Clustering Techniques for MRI Data Sets
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...
Umberto Castellani, Carlo Combi, Pasquina Marzola,...
ZUM
1998
Springer
111views Formal Methods» more  ZUM 1998»
15 years 4 months ago
Combining Specification Techniques for Processes, Data and Time
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
Ernst-Rüdiger Olderog
94
Voted
WSC
2007
15 years 2 months ago
A trace-based visual inspection technique to detect errors in simulation models
Generation of traces from a simulation model and their analysis is a powerful and common mean to debug simulation models. In this paper, we define a measure of progress for simul...
Peter Kemper
117
Voted
MUM
2004
ACM
170views Multimedia» more  MUM 2004»
15 years 6 months ago
Multiple embedding using robust watermarks for wireless medical images
Within the expanding paradigm of medical imaging and wireless communications there is increasing demand for transmitting diagnostic medical imagery over error-prone wireless commu...
Dominic Osborne, Derek Abbott, Matthew Sorell, Der...
WEBDB
2004
Springer
202views Database» more  WEBDB 2004»
15 years 6 months ago
Mining Approximate Functional Dependencies and Concept Similarities to Answer Imprecise Queries
Current approaches for answering queries with imprecise constraints require users to provide distance metrics and importance measures for attributes of interest. In this paper we ...
Ullas Nambiar, Subbarao Kambhampati