Sciweavers

12015 search results - page 87 / 2403
» Interactive Algorithms 2005
Sort
View
TACAS
2005
Springer
105views Algorithms» more  TACAS 2005»
15 years 11 months ago
Using Language Inference to Verify Omega-Regular Properties
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu...
WADS
2005
Springer
69views Algorithms» more  WADS 2005»
15 years 11 months ago
Succinct Representation of Triangulations with a Boundary
Luca Castelli Aleardi, Olivier Devillers, Gilles S...
WADS
2005
Springer
96views Algorithms» more  WADS 2005»
15 years 11 months ago
Kinetic and Dynamic Data Structures for Convex Hulls and Upper Envelopes
Giora Alexandron, Haim Kaplan, Micha Sharir