Sciweavers

1236 search results - page 13 / 248
» On the Hamkins approximation property
Sort
View
103
Voted
GLOBECOM
2007
IEEE
15 years 7 months ago
Properties of Greedy Geographical Routing in Spontaneous Wireless Mesh Networks
Abstract—We analyze greedy geographical routing in spontaneous wireless mesh networks to show several interesting properties. First, we can approximate the dependence of packet l...
Eryk Schiller, Paul Starzetz, Fabrice Theoleyre, A...
103
Voted
ESOP
2003
Springer
15 years 5 months ago
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
Karine Altisen, Aurélie Clodic, Florence Ma...
101
Voted
ENTCS
2006
185views more  ENTCS 2006»
15 years 21 days ago
Time Domain Verification of Oscillator Circuit Properties
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Ode...
COMBINATORICS
2007
77views more  COMBINATORICS 2007»
15 years 20 days ago
Enumeration and Asymptotic Properties of Unlabeled Outerplanar Graphs
We determine the exact and asymptotic number of unlabeled outerplanar graphs. The exact number gn of unlabeled outerplanar graphs on n vertices can be computed in polynomial time,...
Manuel Bodirsky, Éric Fusy, Mihyun Kang, St...
107
Voted
JMLR
2010
105views more  JMLR 2010»
14 years 7 months ago
On the Convergence Properties of Contrastive Divergence
Contrastive Divergence (CD) is a popular method for estimating the parameters of Markov Random Fields (MRFs) by rapidly approximating an intractable term in the gradient of the lo...
Ilya Sutskever, Tijmen Tieleman