6047 search results - page 137 / 1210 » Modeling with Extend |
104
Voted
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...
EMNLP
2006
15 years 3 months ago
2006
This paper proposes a statistical, treeto-tree model for producing translations. Two main contributions are as follows: (1) a method for the extraction of syntactic structures wit...
113
click to vote
ICC
2009
IEEE
15 years 8 months ago
2009
IEEE
—Random walk (RW) has been widely used as a strategy for searching in peer-to-peer networks. The boom of social network applications introduces new impact to the classical algori...
128
click to vote
ICIP
2005
IEEE
15 years 7 months ago
2005
IEEE
Infinitely divisible cascades (IDC) were first introduced in one dimension to provide multifractal time series to model the so-called intermittency phenomenon in hydrodynamical ...
CISS
2010
IEEE
14 years 5 months ago
2010
IEEE
Abstract— An analytically tractable model for Gaussian multiuser channels with fading is studied, and the capacity region of this model is found to be a good approximation of the...