Sciweavers

689 search results - page 37 / 138
» Encapsulation theory fundamentals
Sort
View
ADVCS
2008
83views more  ADVCS 2008»
14 years 8 months ago
Information Flows in Causal Networks
We introduce a notion of causal independence based on virtual intervention, which is a fundamental concept of the theory of causal networks. Causal independence allows for de ning ...
Nihat Ay, Daniel Polani
RECOMB
2010
Springer
14 years 7 months ago
Ultra-Perfect Sorting Scenarios
Abstract. Perfection has been used as a criteria to select rearrangement scenarios since 2004. However, there is a fundamental bias towards extant species in the original definitio...
Aïda Ouangraoua, Anne Bergeron, Krister M. Sw...
SYNTHESE
2010
88views more  SYNTHESE 2010»
14 years 4 months ago
Proposition-valued random variables as information
The notion of a proposition as a set of possible worlds or states occupies central stage in probability theory, semantics and epistemology, where it serves as the fundamental unit...
Richard Bradley
TON
2002
76views more  TON 2002»
14 years 9 months ago
Some properties of variable length packet shapers
The min-plus theory of greedy shapers has been developed after Cruz's results on the calculus of network delays. An example of greedy shaper is the buffered leaky bucket cont...
Jean-Yves Le Boudec
JIIS
2008
104views more  JIIS 2008»
14 years 9 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato