3724 search results - page 110 / 745 » Timed regular expressions |
161
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
134
click to vote
WEBDB
2004
Springer
15 years 9 months ago
2004
Springer
Among the various proposals answering the shortcomings of Document Type Definitions (DTDs), XML Schema is the most widely used. Although DTDs and XML Schema Defintions (XSDs) di...
157
click to vote
CLEF
2010
Springer
15 years 5 months ago
2010
Springer
Wikipedia describes itself as the "free encyclopedia that anyone can edit". Along with the helpful volunteers who contribute by improving the articles, a great number of ...
135
click to vote
JUCS
2010
15 years 2 months ago
2010
Abstract: We study the number of matching substrings in the pattern matching problem. In general, there can be a quadratic number of matching substrings in the size of a given text...
127
click to vote
CPAIOR
2009
Springer
15 years 10 months ago
2009
Springer
This paper introduces a global constraint encapsulating a regular constraint together with several cumulative costs. It is motivated in the context of personnel scheduling problems...