4962 search results - page 822 / 993 » Stochastic Model Checking |
195
Voted
TSD
2004
Springer
16 years 11 days 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...
196
Voted
FOCS
2003
IEEE
16 years 9 days 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...
206
click to vote
INFOCOM
2003
IEEE
16 years 9 days 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...
207
Voted
ARTQOS
2003
Springer
16 years 8 days 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...
242
Voted
CBSQ
2003
Springer
16 years 8 days 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...