1368 search results - page 194 / 274 » Generalized Rook Polynomials |
146
click to vote
IPPS
2006
IEEE
16 years 2 days ago
2006
IEEE
The problem of data broadcasting over multiple channels consists in partitioning data among channels, depending on data popularities, and then cyclically transmitting them over ea...
165
click to vote
QEST
2006
IEEE
16 years 1 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
162
click to vote
VALUETOOLS
2006
ACM
15 years 12 months ago
2006
ACM
We present a new approximation method called value extrapolation for Markov processes with large or infinite state spaces. The method can be applied for calculating any performan...
158
click to vote
FOCS
2005
IEEE
15 years 11 months ago
2005
IEEE
Stochastic optimization problems provide a means to model uncertainty in the input data where the uncertainty is modeled by a probability distribution over the possible realizatio...
148
click to vote
ICDM
2005
IEEE
15 years 11 months ago
2005
IEEE
Data mining algorithms are facing the challenge to deal with an increasing number of complex objects. For graph data, a whole toolbox of data mining algorithms becomes available b...