Sciweavers

441 search results - page 17 / 89
» Possibility theory and statistical reasoning
Sort
View
TACAS
2010
Springer
137views Algorithms» more  TACAS 2010»
14 years 2 months ago
Statistical Measurement of Information Leakage
Information theory provides a range of useful methods to analyse probability distributions and these techniques have been successfully applied to measure information flow and the ...
Konstantinos Chatzikokolakis, Tom Chothia, Apratim...
JFP
2006
113views more  JFP 2006»
13 years 7 months ago
Consistency of the theory of contexts
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...
Anna Bucalo, Furio Honsell, Marino Miculan, Ivan S...
MRCO
2005
Springer
14 years 1 months ago
Using Activity Theory to Model Context Awareness
Abstract. One of the cornerstones of any intelligent entity is the ability to understand how occurrences in the surrounding world influence its own behaviour. Different states, o...
Anders Kofod-Petersen, Jörg Cassens
SIGSOFT
1994
ACM
13 years 11 months ago
Foundations of Software Testing: Dependability Theory
Testing is potentially the best grounded part of software engineering, since it deals with the well defined situation of a fixed program and a test (a finite collection of input v...
Richard G. Hamlet
FSS
2010
97views more  FSS 2010»
13 years 6 months ago
An early approach toward graded identity and graded membership in set theory
The paper considers an early approach toward a (fuzzy) set theory with a graded membership predicate and a graded equality relation which had been developed by the German mathemat...
Siegfried Gottwald