Sciweavers

2056 search results - page 13 / 412
» time 2000
Sort
View
81
Voted
JCDCG
2000
Springer
15 years 3 months ago
Intersecting Red and Blue Line Segments in Optimal Time and Precision
Andrea Mantler, Jack Snoeyink
TACAS
2000
Springer
96views Algorithms» more  TACAS 2000»
15 years 3 months ago
On Memory-Block Traversal Problems in Model-Checking Timed-Systems
Fredrik Larsson, Paul Pettersson, Wang Yi