AAECC
1995
Springer
15 years 7 months ago
1995
Springer
105
click to vote
AAECC
1995
Springer
15 years 7 months ago
1995
Springer
In [ASTW] it was given a Grobner reduction based division formula for entire functions by polynomial ideals. Here we give degree bounds where the input function can be truncated i...
AADEBUG
1995
Springer
15 years 7 months ago
1995
Springer
130
click to vote
RELMICS
2000
Springer
15 years 7 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, ...
144
click to vote
RELMICS
2000
Springer
15 years 7 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 ...