4341 search results - page 566 / 869 » Quantitative Model checking |
188
click to vote
JCM
2006
15 years 6 months ago
2006
Efficient dynamic resource provisioning algorithms are necessary to the development and automation of Quality of Service (QoS) networks. The main goal of these algorithms is to off...
191
click to vote
APIN
2005
15 years 6 months ago
2005
Credit analysts generally assess the risk of credit applications based on their previous experience. They frequently employ quantitative methods to this end. Among the methods used...
219
click to vote
AMDO
2010
Springer
15 years 5 months ago
2010
Springer
In this paper an approach is described to estimate 3D pose using a part based stochastic method. A proposed representation of the human body is explored defined over joints that e...
155
click to vote
JUCS
2010
15 years 5 months ago
2010
: Recent work on social networks has tackled the measurement and optimization of these networks’ robustness and resilience to both failures and attacks. Different metrics have be...
311
click to vote
ACCV
2010
Springer
15 years 8 months ago
2010
Springer
Humans have abstract models for object classes which helps recognize previously unseen instances, despite large intra-class variations. Also objects are grouped into classes based...