Sciweavers

716 search results - page 7 / 144
» time 1997
Sort
View
57
Voted
STACS
1997
Springer
15 years 3 months ago
Efficient Scaling-Invariant Checking of Timed Bisimulation
Carsten Weise, Dirk Lenzkes
64
Voted
WDAG
1997
Springer
77views Algorithms» more  WDAG 1997»
15 years 3 months ago
Low-Overhead Time-Triggered Group Membership
Shmuel Katz, Patrick Lincoln, John M. Rushby
ELPUB
1997
ACM
15 years 3 months ago
Modelling a Medieval Manuscript Database with HyTime
Sylvie Calabretto, Jean-Marie Pinon
77
Voted
ESA
1997
Springer
83views Algorithms» more  ESA 1997»
15 years 3 months ago
Linear-Time Reconstruction of Delaunay Triangulations with Applications
Jack Snoeyink, Marc J. van Kreveld