Sciweavers

4463 search results - page 123 / 893
» computing 2000
Sort
View
59
Voted
RT
2000
Springer
15 years 2 months ago
Virtual Occluders: An Efficient Intermediate PVS Representation
Vladlen Koltun, Yiorgos Chrysanthou, Daniel Cohen-...
STACS
2000
Springer
15 years 2 months ago
Simulation and Bisimulation over One-Counter Processes
Petr Jancar, Antonín Kucera, Faron Moller
CAD
2000
Springer
14 years 11 months ago
Reliable line segment intersection testing
Marina L. Gavrilova, Jon G. Rokne