2278 search results - page 205 / 456 » Markov logic networks |
156
click to vote
AMI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
162
click to vote
DSOM
2006
Springer
15 years 10 months ago
2006
Springer
According to ITIL, a CMDB (Configuration Management Database), containing a logical model of the IT infrastructure, forms the basis for effective and efficient IT Service Managemen...
148
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
In this paper, we focus on the use of three different techniques that support automatic derivation of video content from raw video data, namely, a spatio-temporal rule-based metho...
149
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
192
click to vote
DSN
2007
IEEE
16 years 29 days ago
2007
IEEE
In this paper, we present a variational Bayesian (VB) approach to computing the interval estimates for nonhomogeneous Poisson process (NHPP) software reliability models. This appr...