Sciweavers

2252 search results - page 17 / 451
» Regular expression patterns
Sort
View
CORR
2010
Springer
67views Education» more  CORR 2010»
13 years 5 months ago
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)
Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van...
NIPS
2004
13 years 9 months ago
Learning Syntactic Patterns for Automatic Hypernym Discovery
Semantic taxonomies such as WordNet provide a rich source of knowledge for natural language processing applications, but are expensive to build, maintain, and extend. Motivated by...
Rion Snow, Daniel Jurafsky, Andrew Y. Ng
WWW
2005
ACM
14 years 8 months ago
Expressiveness of XSDs: from practice to theory, there and back again
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions (DTDs) by extending them with a recursive typing mechanism. However, an invest...
Geert Jan Bex, Wim Martens, Frank Neven, Thomas Sc...
CORR
2010
Springer
139views Education» more  CORR 2010»
13 years 7 months ago
A proof Procedure for Testing Membership in Regular Expressions
We propose an algorithm that tests membership for regular expressions and show that the algorithm is correct. This algorithm is written in the style of a sequent proof system. The...
Keehang Kwon, Hong Pyo Ha, Jiseung Kim
WIA
2004
Springer
14 years 27 days ago
Enumerating Regular Expressions and Their Languages
Abstract. We discuss enumeration of regular expressions and the distinct languages they represent.
Jonathan Lee, Jeffrey Shallit