2252 search results - page 190 / 451 » Regular expression patterns |
147
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a least square kernel machine with box constraints (LSKMBC). The existing least square machines assume Gaussian hyperpriors and subsequently express the ...
193
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
188
click to vote
VL
2007
IEEE
16 years 1 months ago
2007
IEEE
Spider diagrams are a visual logic capable of makeing statements about relationships between sets and their cardinalities. Various meta-level results for spider diagrams have been...
144
click to vote
MICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
Many data-parallel applications, including emerging media applications, have regular structures that can easily be expressed as a series of arithmetic kernels operating on data st...
149
click to vote
MFCS
1998
Springer
15 years 11 months ago
1998
Springer
Recently the class of BPA (or context-free) processes has been intensively studied and bisimilarity and regularity appeared to be decidable (see [CHS95, BCS95, BCS96]). We extend t...