Sciweavers

762 search results - page 55 / 153
» Intercode Regular Languages
Sort
View
ACTA
2002
84views more  ACTA 2002»
15 years 2 months ago
Formal properties of XML grammars and languages
We consider XML documents described by a document type definition (DTD). An XML-grammar is a formal grammar that captures the syntactic features of a DTD. We investigate properties...
Jean Berstel, Luc Boasson
ICSE
1993
IEEE-ACM
15 years 6 months ago
Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status
Software designers compose systems from components written in some prolanguage. They regularly describe systems using abstract patterns and sophisticated relations among component...
Mary Shaw
139
Voted
ALT
2006
Springer
15 years 11 months ago
Learning Linearly Separable Languages
This paper presents a novel paradigm for learning languages that consists of mapping strings to an appropriate high-dimensional feature space and learning a separating hyperplane i...
Leonid Kontorovich, Corinna Cortes, Mehryar Mohri
CHARME
2005
Springer
122views Hardware» more  CHARME 2005»
15 years 8 months ago
Regular Vacuity
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
Doron Bustan, Alon Flaisher, Orna Grumberg, Orna K...
SODA
2010
ACM
213views Algorithms» more  SODA 2010»
15 years 11 months ago
Regular Expression Matching with Multi-Strings
Regular expression matching is a key task (and often computational bottleneck) in a variety of software tools and applications. For instance, the standard grep and sed utilities, ...
Philip Bille, Mikkel Thorup