Sciweavers

2079 search results - page 42 / 416
» Universality of random graphs
Sort
View
ICALP
2009
Springer
16 years 2 months ago
Tight Bounds for the Cover Time of Multiple Random Walks
We study the cover time of multiple random walks. Given a graph G of n vertices, assume that k independent random walks start from the same vertex. The parameter of interest is the...
Robert Elsässer, Thomas Sauerwald
CAAN
2004
Springer
15 years 7 months ago
Limits and Power Laws of Models for the Web Graph and Other Networked Information Spaces
We consider a generalized copy model of the web graph and related networks, and analyze its limiting behaviour. The model is motivated by previously proposed copying models of the ...
Anthony Bonato, Jeannette C. M. Janssen
CCS
2009
ACM
16 years 2 months ago
Universally composable contributory group key exchange
We treat the security of group key exchange (GKE) in the universal composability (UC) framework. Analyzing GKE protocols in the UC framework naturally addresses attacks by maliciou...
M. Choudary Gorantla, Colin Boyd, Juan Manuel Gonz...
GBRPR
2007
Springer
15 years 8 months ago
Graph-Based Perceptual Segmentation of Stereo Vision 3D Images at Multiple Abstraction Levels
D Images at Multiple Abstraction Levels Rodrigo Moreno∗, Miguel Angel Garcia∗∗ and Domenec Puig∗ (∗)Intelligent Robotics and Computer Vision Group, Rovira i Virgili Unive...
Rodrigo Moreno, Miguel Angel García, Dom&eg...
CAV
2006
Springer
133views Hardware» more  CAV 2006»
15 years 5 months ago
Antichains: A New Algorithm for Checking Universality of Finite Automata
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...
Martin De Wulf, Laurent Doyen, Thomas A. Henzinger...