11740 search results - page 34 / 2348 » More Problems in Rewriting |
VLDB
1989
ACM
14 years 23 days ago
1989
ACM
The problem of knowledge representation has been extensively addressedin the information systemsfield and there has been a wide range of suggestionsfor capturing semantics.A numbe...
WSC
2008
13 years 11 months ago
2008
We develop and evaluate a semiparametric method to estimate the mean-value function of a nonhomogeneous Poisson process (NHPP) using one or more process realizations observed over...
CONCUR
2004
Springer
14 years 14 days ago
2004
Springer
Abstract. We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less exp...
FMOODS
2007
13 years 10 months ago
2007
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...
ENTCS
2002
13 years 8 months ago
2002
We study the partial algebra of typed terms with an associative commutative and idempotent operator (typed AC-terms). The originality lies in the representation of the typing poli...