2409 search results - page 181 / 482 » On Extended Regular Expressions |
149
click to vote
IFIP
2004
Springer
16 years 6 days ago
2004
Springer
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...
170
click to vote
IFIP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract In this paper we introduce the Weighted Suffix Tree, an efficient data structure for computing string regularities in weighted sequences of molecular data. Molecular Wei...
184
click to vote
DOCENG
2003
ACM
16 years 3 days ago
2003
ACM
By exploiting the theories of automata and graphs, we propose algorithms and a process for editing valid XML documents [4][5]. The editing process avoids syntactic violations alto...
180
click to vote
ICDT
2003
ACM
16 years 1 days ago
2003
ACM
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
189
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
Intra-personal space modeling proposed by Moghaddam et. al. has been successfully applied in face recognition. In their work the regular principal subspaces are derived from the i...