RELMICS
2000
Springer
14 years 3 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
14 years 3 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
14 years 3 months ago
2000
Springer
RELMICS
2000
Springer
14 years 3 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
14 years 3 months ago
2000
Springer
MFCS
2000
Springer
14 years 3 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
14 years 3 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
14 years 3 months ago
2000
Springer
The probability of a property on the collection of all finite relational structures is the limit as
MFCS
2000
Springer
14 years 3 months ago
2000
Springer
We show that AI
MFCS
2000
Springer
14 years 3 months ago
2000
Springer