Sciweavers

7690 search results - page 255 / 1538
» On the semantics of informational independence
Sort
View
IPMI
2003
Springer
16 years 7 months ago
A Unified Statistical and Information Theoretic Framework for Multi-modal Image Registration
We formulate and interpret several registration methods in the context of a unified statistical and information theoretic framework. A unified interpretation clarifies the implici...
John W. Fisher III, Lilla Zöllei, William M. ...
ASWEC
2009
IEEE
16 years 1 months ago
Change Propagation Analysis Using Domain Information
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
Amir Aryani, Ian D. Peake, Margaret Hamilton, Hein...
IBPRIA
2007
Springer
16 years 22 days ago
Boundary Shape Recognition Using Accumulated Length and Angle Information
In this paper we present a method to recognize shapes by analyzing a polygonal approximation of their boundaries. The method is independent of the used approximation method since i...
Marçal Rusiñol, Philippe Dosch, Jose...
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
15 years 12 months ago
Information Flow Analysis in Logical Form
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
Torben Amtoft, Anindya Banerjee
CLEF
2003
Springer
15 years 11 months ago
Comparing Weighting Models for Monolingual Information Retrieval
Motivated by the hypothesis that the retrieval performance of a weighting model is independent of the language in which queries and collection are expressed, we compared the retrie...
Gianni Amati, Claudio Carpineto, Giovanni Romano