230 search results - page 21 / 46 » The Inclusion Problem for Regular Expressions |
JUCS
2010
13 years 6 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...
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering. The objective of this paper is to set a formal foundation for t...
MTA
2007
13 years 7 months ago
2007
Abstract. In this paper we address the problem of comparing multimedia documents, which can be described according to different reference models. If we consider presentations as c...
KSEM
2010
Springer
13 years 6 months ago
2010
Springer
Given the proven usefulness of ontologies in many areas, the representation of logical axioms associated to ontological concepts and relations has become an important task in order...
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
Netcharts have been introduced recently by Mukund et al. in [17]. This new appealing approach to the specification of collections of message sequence charts (MSCs) benefits from ...