5015 search results - page 631 / 1003 » Model Checking a Path |
178
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Hidden Markov models are traditionally decoded by the Viterbi algorithm which finds the highest probability state path in the model. In recent years, several limitations ...
251
click to vote
ICSNC
2007
IEEE
16 years 1 months ago
2007
IEEE
Nowadays, path prediction is being extensively examined for use in the context of mobile and wireless computing towards more efficient network resource management schemes. Path pr...
164
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Routing protocols have traditionally been based on finding shortest paths under certain cost metrics. A conventional routing metric models the cost of a path as the sum of the...
173
click to vote
INFOCOM
2006
IEEE
16 years 24 days ago
2006
IEEE
— Emerging network applications tend to be built over heterogeneous network resources spanning multiple management domains. Many such applications have dynamic demands for dedica...
186
click to vote
USITS
2001
15 years 8 months ago
2001
Ubiquitous access to sophisticated internet services from diverse end devices across heterogeneous networks requires the injection of additional functionality into the network to ...