1222 search results - page 157 / 245 » A Bayesian Approach to Model Checking Biological Systems |
139
click to vote
IJAR
2008
15 years 4 months ago
2008
Cooperative multiagent probabilistic inference can be applied in areas such as building surveillance and complex system diagnosis to reason about the states of the distributed unc...
162
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— The lack of a parameterized observation model in robot localization using occupancy grids requires the application of sampling-based methods, or particle filters. This work ad...
125
click to vote
BIBE
2000
IEEE
15 years 8 months ago
2000
IEEE
In the biological sciences, the mathematical approach to studying feedbackmechanisms has not been common despite the abundance of such mechanismsin those systems. In this paper, w...
110
click to vote
AICT
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we propose a framework for QualityDriven Delivery (QDD) in distributed multimedia environments. Quality-driven delivery refers to the capacity of a system to delive...
150
click to vote
ASM
2010
ASM
15 years 11 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...