305 search results - page 54 / 61 » A Logical Framework to Deal with Variability |
AAAI
2008
15 years 2 months ago
2008
Many real-world problems are characterized by complex relational structure, which can be succinctly represented in firstorder logic. However, many relational inference algorithms ...
ASWC
2008
Springer
15 years 1 months ago
2008
Springer
Both semantic web applications and individuals are in need of knowledge infrastructures that can be used in dynamic and distributed environments where different autonomous entities...
137
click to vote
UAI
1997
15 years 1 months ago
1997
Bayesian networks provide a modeling language and associated inference algorithm for stochastic domains. They have been successfully applied in a variety of medium-scale applicati...
140
click to vote
QEST
2010
IEEE
14 years 9 months ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
104
click to vote
SRDS
1999
IEEE
15 years 3 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...