Sciweavers

2086 search results - page 30 / 418
» Mathematical Theory Exploration
Sort
View
ISIPTA
2005
IEEE
130views Mathematics» more  ISIPTA 2005»
15 years 3 months ago
No Double Counting Semantics for Conditional Independence
The main goal of this paper is to describe a new semantic for conditional independence in terms of no double counting of uncertain evidence. For ease of exposition, we use probabi...
Prakash P. Shenoy
NSPW
2004
ACM
15 years 3 months ago
A qualitative framework for Shannon information theories
This paper presents a new paradigm for information theory which is a synthesis of Barwise-Seligman’s qualitative theory and Shannon’s quantitative theory. The new paradigm is ...
Gerard Allwein
ICAPR
2005
Springer
15 years 3 months ago
Mathematical Features for Recognizing Preference in Sub-saharan African Traditional Rhythm Timelines
The heart of an African rhythm is the timeline, a beat that cyclically repeats thoughout a piece, and is often performed with an iron bell that all performers can hear. Such rhythm...
Godfried T. Toussaint
PPDP
2005
Springer
15 years 3 months ago
A new calculus of contexts
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
Murdoch Gabbay
ATAL
2006
Springer
15 years 2 months ago
Modelling dynamics of cognitive agents by higher-order potentialities
In the development of disciplines addressing dynamics, such as Mathematics and Physics, a major role was played by the assumption that processes can be modelled by introducing cer...
Tibor Bosse, Jan Treur