Sciweavers

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