5499 search results - page 340 / 1100 » Generalized Rewrite Theories |
233
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Combinatorial auctions have been studied by the multiagent systems community for some time, since these auctions are an effective mechanism for resource allocation when agents are...
198
click to vote
GG
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....
192
Voted
IJBC
2008
15 years 7 months ago
2008
Considering trajectory curves, integral of n-dimensional dynamical systems, within the framework of Differential Geometry as curves in Euclidean n-space it will be established in ...
208
click to vote
IANDC
2006
15 years 7 months ago
2006
We introduce a new notion of bisimulation, called event bisimulation on labelled Markov processes (LMPs) and compare it with the, now standard, notion of probabilistic bisimulatio...
258
click to vote
ISCI
2008
15 years 7 months ago
2008
Rough set theory can be applied to rule induction. There are two different types of classification rules, positive and boundary rules, leading to different decisions and consequen...