Sciweavers

2252 search results - page 212 / 451
» Regular expression patterns
Sort
View
SIAMIS
2008
174views more  SIAMIS 2008»
15 years 3 months ago
Efficient Reconstruction of Piecewise Constant Images Using Nonsmooth Nonconvex Minimization
We consider the restoration of piecewise constant images where the number of the regions and their values are not fixed in advance, with a good difference of piecewise constant val...
Mila Nikolova, Michael K. Ng, Shuqin Zhang, Wai-Ki...
123
Voted
LATA
2009
Springer
15 years 10 months ago
A Kleene Theorem for Forest Languages
This paper proposes an alternative approach to the standard notion of rational (or regular) expression for tree languages. The main difference is that in the new notion we have on...
Lutz Straßburger
ISNN
2004
Springer
15 years 9 months ago
Robust Face Recognition from a Single Training Image per Person with Kernel-Based SOM-Face
In this paper, a kernel-based SOM-face method is proposed to recognize expression variant faces under the situation of only one training image per person. Based on the localization...
Xiaoyang Tan, Songcan Chen, Zhi-Hua Zhou, Fuyan Zh...
117
Voted
ASIAN
2003
Springer
102views Algorithms» more  ASIAN 2003»
15 years 9 months ago
Generating Optimal Linear Temporal Logic Monitors by Coinduction
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
Koushik Sen, Grigore Rosu, Gul Agha
PLILP
1997
Springer
15 years 8 months ago
Narrowing the Narrowing Space
We introduce a framework for managing as a whole the space of a narrowing computation. The aim of our framework is to find a finite representation of an infinite narrowing space...
Sergio Antoy, Zena M. Ariola