Sciweavers

644 search results - page 15 / 129
» A topological characterization of weakness
Sort
View
FOSSACS
2003
Springer
15 years 2 months ago
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
Franck van Breugel, Michael W. Mislove, Joël ...
PAM
2005
Springer
15 years 3 months ago
Evaluating the Accuracy of Captured Snapshots by Peer-to-Peer Crawlers
The increasing popularity of Peer-to-Peer (P2P) networks has led to growing interest in characterizing their topology and dynamics [1–4], essential for proper design and effecti...
Daniel Stutzbach, Reza Rejaie
91
Voted
JGT
2008
150views more  JGT 2008»
14 years 9 months ago
Cycle spaces in topological spaces
: We develop a general model of edge spaces in order to generalize, unify, and simplify previous work on cycle spaces of infinite graphs. We give simple topological criteria to sho...
Antoine Vella, R. Bruce Richter
JCT
2006
79views more  JCT 2006»
14 years 9 months ago
A characterization of cocircuit graphs of uniform oriented matroids
The cocircuit graph of an oriented matroid is the 1-skeleton of the cellular decomposition induced by the Topological Representation Theorem due to Folkman and Lawrence (1978) [J....
Juan José Montellano-Ballesteros, Ricardo S...
DAC
2003
ACM
15 years 2 months ago
NORM: compact model order reduction of weakly nonlinear systems
This paper presents a compact Nonlinear model Order Reduction Method (NORM) that is applicable for time-invariant and time-varying weakly nonlinear systems. NORM is suitable for r...
Peng Li, Lawrence T. Pileggi