Sciweavers

13306 search results - page 129 / 2662
» Theoretical Computer Science
Sort
View
98
Voted
STACS
2005
Springer
15 years 10 months ago
All-Pairs Nearly 2-Approximate Shortest-Paths in O(n2 polylog n) Time
Surender Baswana, Vishrut Goyal, Sandeep Sen
104
Voted
STACS
2005
Springer
15 years 10 months ago
On the Decidability of Temporal Properties of Probabilistic Pushdown Automata
Tomás Brázdil, Antonín Kucera...
GI
2004
Springer
15 years 10 months ago
Ontologie-basiertes Web Mining
Marc Ehrig, Jens Hartmann, Christoph Schmitz
113
Voted
SPIN
2004
Springer
15 years 10 months ago
Using Fairness to Make Abstractions Work
Dragan Bosnacki, Natalia Ioustinova, Natalia Sidor...