534 search results - page 78 / 107 » Markov Reward Approach to Performability and Reliability Ana... |
ICNP
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--To ensure state synchronization of signalling operations, many signaling protocol designs choose to establish "soft" state that expires if it is not refreshed. ...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
Local part-based human detectors are capable of handling partial occlusions efficiently and modeling shape articulations flexibly, while global shape template-based human detector...
POPL
2011
ACM
12 years 10 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
INFOCOM
2003
IEEE
14 years 29 days ago
2003
IEEE
— Incremental deployment of a new network service or protocol is typically a hard problem, especially when it has to be deployed in the routers. First, an incrementally deployabl...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, a Bayesian LBP operator is proposed. This operator is formulated in a novel Filtering, Labeling and Statistic (FLS) framework for texture descriptors. In the framew...