2409 search results - page 134 / 482 » On Extended Regular Expressions |
137
click to vote
ENTCS
2008
15 years 4 months ago
2008
The graph rewriting calculus is an extension of the -calculus, handling graph like structures rather than simple terms. The calculus over terms is naturally generalized by using u...
IANDC
2002
15 years 4 months ago
2002
We show that the following problem is decidable: given expressions E1 and E2 constructed from variables by the regular operations and shuffle, is the identity E1 = E2 true for all...
122
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
119
Voted
ICASSP
2011
IEEE
2011
IEEE
Performance analysis of MDL criterion for the detection of noncircular or/and nonGaussian components
14 years 8 months ago
This paper presents an asymptotic analysis of the eigen value decomposition (EVD) of the sample covariance matrix associated with independent identically distributed (IID) non nec...
124
click to vote
ADBIS
2005
Springer
15 years 10 months ago
2005
Springer
XQuery is widely used for querying XML documents. Within this paper, we examine optimization rules for XQuery queries that exploit type information of the input XML document given ...