RELMICS
2000
Springer
13 years 11 months ago
2000
Springer
This paper presents a novel approach to the problem of finding all subgraph isomorphisms of a (pattern) graph into another (target) graph. A relational formulation of the problem, ...
RELMICS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract: The Duration Calculus is an interval logic introduced for designing realtime systems. This calculus is able to capture important real-time problems like the speci cation ...
RELMICS
2000
Springer
13 years 11 months ago
2000
Springer
RELMICS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We introduce an implication-with-possible-exceptions and define validity of rules-withpossible-exceptions by means of the topological notion of a full subset. Our implica...
RELMICS
2000
Springer
13 years 11 months ago
2000
Springer
MFCS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We show how duality properties and geometric considerations are used in studies related to virtual path layouts of ATM networks. We concentrate on the one-to-many problem...
MFCS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We consider the iterates of bilinear functions over the semiring (max, +). Equivalently, our object of study can be viewed as recognizable tree series over the semiring (...
MFCS
2000
Springer
13 years 11 months ago
2000
Springer
The probability of a property on the collection of all finite relational structures is the limit as
MFCS
2000
Springer
13 years 11 months ago
2000
Springer
We show that AI
MFCS
2000
Springer
13 years 11 months ago
2000
Springer