Sciweavers

4622 search results - page 22 / 925
» Foundations of Information Theory
Sort
View
PAMI
2008
121views more  PAMI 2008»
14 years 9 months ago
Theoretical Foundations of Spatially-Variant Mathematical Morphology Part II: Gray-Level Images
In this paper, we develop a spatially-variant (SV) mathematical morphology theory for gray-level signals and images in the euclidean space. The proposed theory preserves the geomet...
Nidhal Bouaynaya, Dan Schonfeld
ICLP
2003
Springer
15 years 3 months ago
A Tutorial on Proof Theoretic Foundations of Logic Programming
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
Paola Bruscoli, Alessio Guglielmi
IWFM
1998
125views Formal Methods» more  IWFM 1998»
14 years 11 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
LOGCOM
2006
98views more  LOGCOM 2006»
14 years 9 months ago
Computability in Specification
In reference (Foundation of specification. Journal of Logic and Computation, 15, 951
Raymond Turner
ATAL
2010
Springer
14 years 11 months ago
Dependence theory via game theory
In the multi-agent systems community, dependence theory and game theory are often presented as two alternative perspectives on the analysis of social interaction. Up till now no r...
Davide Grossi, Paolo Turrini