1738 search results - page 284 / 348 » An algorithmic framework for network reconstruction |
157
Voted
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
133
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We present a general framework to model strategic aspects and stable and fair resource allocations in networks via variants and generalizations of path coalitional games. In these ...
139
click to vote
AAAI
2011
14 years 3 months ago
2011
The automated processing of multiple seismic signals to detect and localize seismic events is a central tool in both geophysics and nuclear treaty verification. This paper report...
150
Voted
MOBICOM
2012
ACM
13 years 6 months ago
2012
ACM
While a natural fit for modeling and understanding mobile networks, time-varying graphs remain poorly understood. Indeed, many of the usual concepts of static graphs have no obvi...
172
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...