Sciweavers

2252 search results - page 191 / 451
» Regular expression patterns
Sort
View
CAAP
1994
15 years 7 months ago
Some Results on Top-Context-Free Tree Languages
Top-context-free tree languages (called cor gulier by Arnold and Dauchet 1, 2]) constitute a natural subclass of context-free tree languages. In this paper, we give further evidenc...
Dieter Hofbauer, Maria Huber, Gregory Kucherov
179
Voted
CVPR
2008
IEEE
15 years 4 months ago
Robust learning of discriminative projection for multicategory classification on the Stiefel manifold
Learning a robust projection with a small number of training samples is still a challenging problem in face recognition, especially when the unseen faces have extreme variation in...
Duc-Son Pham, Svetha Venkatesh
ENTCS
2008
106views more  ENTCS 2008»
15 years 4 months ago
Towards a Sharing Strategy for the Graph Rewriting Calculus
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...
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, C...
IANDC
2002
84views more  IANDC 2002»
15 years 3 months ago
Decidability of Split Equivalence
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...
Y. Abramson, Alexander Moshe Rabinovich
118
Voted
FSTTCS
2010
Springer
15 years 2 months ago
Global Model Checking of Ordered Multi-Pushdown Systems
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...
Mohamed Faouzi Atig