2042 search results - page 159 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
SECON
2007
IEEE
14 years 3 months ago
2007
IEEE
— Cognitive Radio systems face an important challenge – fast and reliable channel searching to enable secondary users to optimize available spectral resources. We revisit conve...
NIPS
2007
13 years 10 months ago
2007
We extend the Bayesian skill rating system TrueSkill to infer entire time series of skills of players by smoothing through time instead of filtering. The skill of each participat...
LATIN
2010
Springer
14 years 4 months ago
2010
Springer
Topological self-stabilization is an important concept to build robust open distributed systems (such as peer-to-peer systems) where nodes can organize themselves into meaningful n...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
In a wireless communication network different users share a common resource. An objective of radio resource management is to assign the resources in an effective way between the us...