Search Sciweavers | Sciweavers

11395 search results - page 275 / 2279

» Beyond computer science

121

click to vote

STACS
2005
Springer

86views Theoretical Computer Science» more STACS 2005»

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

16 years 3 days ago

Download www.fi.muni.cz

Tomás Brázdil, Antonín Kucera...

claim paper

Read More »

152

click to vote

STACS
2005
Springer

109views Theoretical Computer Science» more STACS 2005»

Parametric Duality and Kernelization: Lower Bounds and Upper Bounds on Kernel Size

16 years 3 days ago

Download www.informatik.uni-trier.de

Jianer Chen, Henning Fernau, Iyad A. Kanj, Ge Xia

claim paper

Read More »

112

click to vote

STACS
2005
Springer

91views Theoretical Computer Science» more STACS 2005»

Fast Pruning of Geometric Spanners

16 years 3 days ago

Download www.win.tue.nl

Joachim Gudmundsson, Giri Narasimhan, Michiel H. M...

claim paper

Read More »

163

click to vote

WG
2005
Springer

96views Theoretical Computer Science» more WG 2005»

Linear-Time Counting Algorithms for Independent Sets in Chordal Graphs

16 years 3 days ago

Download www.jaist.ac.jp

Yoshio Okamoto, Takeaki Uno, Ryuhei Uehara

claim paper

Read More »

116

click to vote

ACMSE
2004
ACM

93views Theoretical Computer Science» more ACMSE 2004»

Model-driven integration of federated event services in real-time component middleware

16 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers