4962 search results - page 564 / 993 » Stochastic Model Checking |
136
click to vote
KESAMSTA
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we propose a probabilistic model to study the interaction of bidder and seller agents in sequential automated auctions. We consider a designated “special bidder”...
140
click to vote
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
Because of the great variability of factors to take into account, designing a spoken dialogue system is still a tailoring task. Rapid design and reusability of previous work is ma...
108
Voted
INFOCOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— In this paper, we seek to understand the intrinsic reasons for the well-known phenomenon of heavy-tailed degree in the Internet AS graph and argue that in contrast to tradition...
127
click to vote
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
— Precise modelling of the Direction of Arrival (DoA) and Direction of Departure (DoD) of multipath components (MPCs) in a Multiple-Input Multiple-Output (MIMO) channel based on ...
123
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
—For software, the costs of failures are not clearly understood. Often, these costs disappear in the costs of testing, the general developments costs, or the operating expenses. ...