Sciweavers

2409 search results - page 14 / 482
» On Extended Regular Expressions
Sort
View
93
Voted
APIN
2000
103views more  APIN 2000»
14 years 9 months ago
Probabilistic Pattern Matching and the Evolution of Stochastic Regular Expressions
The use of genetic programming for probabilistic pattern matching is investigated. A stochastic regular expression language is used. The language features a statistically sound sem...
Brian J. Ross
CSL
2007
Springer
15 years 3 months ago
Forest Expressions
We define regular expressions for unranked trees (actually, ordered sequences of unranked trees, called forests). These are compared to existing regular expressions for trees. On ...
Mikolaj Bojanczyk
LATIN
2000
Springer
15 years 1 months ago
Equivalent Conditions for Regularity (Extended Abstract)
d abstract) Book section (Refereed) Original citation: Originally published in Gonnet, G; Panario D; Viola, A, LATIN 2000: theoretical informatics. Lecture notes in computer scienc...
Yoshiharu Kohayakawa, Vojtech Rödl, Jozef Sko...
ASIAN
2003
Springer
102views Algorithms» more  ASIAN 2003»
15 years 2 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
92
Voted
BDA
2006
14 years 11 months ago
Capturing well typed references in DTDs
Surprisingly enough, there has been few investigations for typing references of semistructured data and XML documents. This paper build on a previous proposal [7] introducing simp...
Nicole Bidoit, Dario Colazzo