Sciweavers

6598 search results - page 272 / 1320
» Graph Theory with Applications
Sort
View
CN
2007
95views more  CN 2007»
15 years 6 months ago
Sampling large Internet topologies for simulation purposes
In this paper, we develop methods to ‘‘sample’’ a small realistic graph from a large Internet topology. Despite recent activity, modeling and generation of realistic graph...
Vaishnavi Krishnamurthy, Michalis Faloutsos, Marek...
GECCO
2008
Springer
118views Optimization» more  GECCO 2008»
15 years 7 months ago
Deriving evaluation metrics for applicability of genetic algorithms to optimization problems
This paper aims to identify the missing links from theory of Genetic Algorithms (GAs) to application of GAs. Categories and Subject Descriptors: J.0 [Computer Applications]: Gener...
Hsinyi Jiang, Carl K. Chang
TACAS
2005
Springer
113views Algorithms» more  TACAS 2005»
16 years 1 days ago
Applications of Craig Interpolants in Model Checking
Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inconsistent with B, and (3) expressed over the common ...
Kenneth L. McMillan
CORR
2008
Springer
98views Education» more  CORR 2008»
15 years 6 months ago
Divisibility, Smoothness and Cryptographic Applications
This paper deals with products of moderate-size primes, familiarly known as smooth numbers. Smooth numbers play an crucial role in information theory, signal processing and crypto...
David Naccache, Igor Shparlinski
ICPR
2008
IEEE
16 years 1 months ago
Birkhoff polytopes, heat kernels and graph complexity
In this paper we use doubly stochastic matrices to establish a link between Birkhoff polytopes and heat kernels on graphs. Based on this analysis we construct a multi-dimensional ...
Francisco Escolano, Edwin R. Hancock, Miguel Angel...