Sciweavers

3724 search results - page 197 / 745
» Timed regular expressions
Sort
View
IJCAI
1993
15 years 6 months ago
Learning Decision Lists over Tree Patterns and Its Application
This paper introduces a new concept, a decision tree (or list) over tree patterns, which is a natural extension of a decision tree (or decision list), for dealing with tree struct...
Satoshi Kobayashi, Koichi Hori, Setsuo Ohsuga
LATA
2010
Springer
15 years 8 months ago
Variable Automata over Infinite Alphabets
Automated reasoning about systems with infinite domains requires an extension of regular automata to infinite alphabets. Existing formalisms of such automata cope with the infinite...
Sarai Sheinvald, Orna Grumberg, Orna Kupferman
SIAMIS
2008
174views more  SIAMIS 2008»
15 years 4 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...
LATA
2009
Springer
15 years 11 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 10 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...