Search Sciweavers | Sciweavers

11016 search results - page 430 / 2204

» Cloud Computing for Science

166

click to vote

FOCS
2010
IEEE

135views Theoretical Computer Science» more FOCS 2010»

Subcubic Equivalences between Path, Matrix and Triangle Problems

15 years 4 months ago

Download www.cs.cmu.edu

We say an algorithm on n

Virginia Vassilevska Williams, Ryan Williams

claim paper

Read More »

134

click to vote

DLT
2009

90views Theoretical Computer Science» more DLT 2009»

Weighted Timed MSO Logics

15 years 4 months ago

Download www.informatik.uni-leipzig.de

We aim to generalize B

Karin Quaas

claim paper

Read More »

148

click to vote

DLT
2009

76views Theoretical Computer Science» more DLT 2009»

A Quadratic Upper Bound on the Size of a Synchronizing Word in One-Cluster Automata

15 years 4 months ago

Download www-igm.univ-mlv.fr

Cern

Marie-Pierre Béal, Dominique Perrin

claim paper

Read More »

197

Voted

DLT
2009

116views Theoretical Computer Science» more DLT 2009»

Strongly Regular Grammars and Regular Approximation of Context-Free Languages

15 years 4 months ago

Download www.cs.ucsb.edu

Abstract. We consider algorithms for approximating context

Ömer Egecioglu

claim paper

Read More »

102

click to vote

GI
2009
Springer

139views Theoretical Computer Science» more GI 2009»

International Networking of Large Amounts of Primary Biodiversity Data

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers