2409 search results - page 197 / 482 » On Extended Regular Expressions |
174
click to vote
ACTA
2005
15 years 6 months ago
2005
It is known that LTL formulae without the `next' operator are invariant under the so-called stutter-equivalence of words. In this paper we extend this principle to general LTL...
177
click to vote
TCS
2008
15 years 6 months ago
2008
We investigate the decidability of observational equivalence and approximation in Reynolds' "Syntactic Control of Interference" (SCI), a prototypical functionalimpe...
192
click to vote
TNN
2008
15 years 6 months ago
2008
In this paper, a new kernel-based method for data visualization and dimensionality reduction is proposed. A reference point is considered corresponding to additional constraints ta...
155
Voted
MOC
2002
15 years 6 months ago
2002
In previous work, the author has extended the concept of regular and irregular primes to the setting of arbitrary totally real number fields k0, using the values of the zeta functi...
206
click to vote
MCSS
2008
Springer
15 years 5 months ago
2008
Springer
We study optimal control problems for general unstructured nonlinear differential-algebraic equations of arbitrary index. In particular, we derive necessary conditions in the case ...