2252 search results - page 72 / 451 » Regular expression patterns |
ATVA
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. It is well known that modelchecking and satisfiability of Linear Temporal Logic (LTL) are Pspace-complete. Wolper showed that with grammar operators, this result can be e...
PRL
2002
13 years 9 months ago
2002
A regular texture contains a periodic arrangement of a determinable pattern. Motifs of a regular texture are the minimal parallelogrammic sub-regions that can reproduce the textur...
SC
2000
ACM
14 years 1 months ago
2000
ACM
This paper proposes a hardware mechanism for reducing coherency overhead occurring in scientific computations within DSM systems. A first phase aims at detecting, in the address s...
RE
2001
Springer
14 years 2 months ago
2001
Springer
Scenario is a description technique which has attracted much attention not only from practitioners but also from researchers. Literature on this topic shows the possibilities that...
SSPR
1998
Springer
14 years 2 months ago
1998
Springer
The Pseudo Fisher Linear Discriminant (PFLD) based on a pseudo-inverse technique shows a peaking behaviour of the generalization error for training sample sizes that are about the...