2136 search results - page 60 / 428 » A Game-Theoretic Operational Semantics |
107
click to vote
FUIN
2002
14 years 11 months ago
2002
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
109
click to vote
ITRE
2005
IEEE
15 years 5 months ago
2005
IEEE
A Bayesian network model is a popular technique for data mining due to its intuitive interpretation. This paper presents a semantic genetic algorithm (SGA) to learn a complete qual...
LPNMR
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Considering different implication operators, such as Lukasiewicz, G¨odel or product implication in the same logic program, naturally leads to the allowance of several a...
111
click to vote
BIRTHDAY
2008
Springer
15 years 29 days ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
117
click to vote
ADBIS
2004
Springer
15 years 3 months ago
2004
Springer
Trend analysis and forecasting applications (e.g., securities trading, stock market, and after-the-fact diagnosis) need event detection along a moving time window. Event-driven app...