4962 search results - page 822 / 993 » Stochastic Model Checking |
TSD
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we report on the acquisition and content of a new database intended for developing audio-visual speech recognition systems. This database supports a speaker dependen...
FOCS
2003
IEEE
14 years 1 months ago
2003
IEEE
The essence of an Internet router is an n ¡ n switch which routes packets from input to output ports. Such a switch can be viewed as a bipartite graph with the input and output p...
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
— Recent investigations into the pricing of multiclass loss networks have shown that static prices are optimal in the asymptotic regime of many small sources. These results sugge...
ARTQOS
2003
Springer
14 years 1 months ago
2003
Springer
A crucial factor for real-time (interactive) services is the end-to-end delay experienced by the application. The contribution resulting from the queuing delay induced by the netwo...
CBSQ
2003
Springer
14 years 1 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...