6047 search results - page 154 / 1210 » Modeling with Extend |
CAISE
2004
Springer
15 years 7 months ago
2004
Springer
Organizations often change their business processes. These changes lead to adjustments in the business process support (BPS) system. The impact of a change in a business process ma...
116
click to vote
FSTTCS
2006
Springer
15 years 5 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
117
click to vote
FAW
2008
Springer
15 years 3 months ago
2008
Springer
We prove that there exists an O(log(n))-labeling scheme for every first-order formula with free set variables in every class of graphs that is nicely locally cwd-decomposable, whic...
118
click to vote
NIPS
1998
15 years 3 months ago
1998
We propose a novel strategy for training neural networks using sequential Monte Carlo algorithms. This global optimisation strategy allows us to learn the probability distribution...
JAIR
2006
15 years 1 months ago
2006
In recent years, CP-nets have emerged as a useful tool for supporting preference elicitation, reasoning, and representation. CP-nets capture and support reasoning with qualitative...