5578 search results - page 517 / 1116 » Base Class Injection |
175
click to vote
EMISA
2002
Springer
15 years 6 months ago
2002
Springer
Abstract: This paper presents a new net-reduction methodology to facilitate the analysis of large workflow models. We propose an enhanced algorithm based on reducible subnet identi...
166
click to vote
ENTCS
2002
15 years 6 months ago
2002
Two co-initial reductions in a term rewriting system are said to be equivalent if they perform the same steps, albeit maybe in a different order. We present four characterisations...
186
click to vote
ENTCS
2002
15 years 6 months ago
2002
In [19] Rutten introduced the notion of weak bisimulations and weak bisimilarity for coalgebras of the functor F(X) = X +O. In the present paper I will introduce a notion of weak ...
149
click to vote
AUTOMATICA
1999
15 years 6 months ago
1999
This paper considers the problem of balanced model reduction for a class of distributed parameter systems. The system is assumed to have a finite-dimensional state vector as well ...
178
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
We present a technique for automatic induction of slot annotations for subcategorization frames, based on induction of hidden classes in the EM framework of statistical estimation...