Sciweavers

7289 search results - page 62 / 1458
» A Dependent Set Theory
Sort
View
JSYML
2000
71views more  JSYML 2000»
13 years 7 months ago
Applications of PCF Theory
We deal with several pcf problems; we characterize another version of exponentiation: number of -branches in a tree with nodes, deal with existence of independent sets in stable t...
Saharon Shelah
VISSOFT
2005
IEEE
14 years 1 months ago
The Dominance Tree in Visualizing Software Dependencies
Dominance analysis from graph theory allows one to locate subordinated software elements in a rooted dependency graph. It identifies the nesting structure for a dependency graph ...
Raimar Falke, Raimund Klein, Rainer Koschke, Joche...
WOLLIC
2010
Springer
14 years 29 days ago
On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations
Recently, an axiomatization for functional dependencies (FDs) and multivalued dependencies (MVDs) has been established where arbitrary attributes can be specified as NOT NULL. Tha...
Flavio Ferrarotti, Sven Hartmann, Sebastian Link
INFOCOM
1997
IEEE
14 years 3 days ago
Time Scale Analysis of an ATM Queueing System with Long-Range Dependent Traffic
Several types of network trafic have been shown to exhibit long-range dependence (LRD). In this work, we show that the busy period of an ATM system driven by a long-range dependen...
Gilberto Mayor, John A. Silvester
RR
2009
Springer
14 years 2 months ago
Belief Logic Programming with Cyclic Dependencies
Our previous work [26] introduced Belief Logic Programming (BLP), a novel form of quantitative logic programming with correlation of evidence. Unlike other quantitative approaches ...
Hui Wan