Search Sciweavers | Sciweavers

4352 search results - page 14 / 871

» A Representation Theorem and Applications

click to vote

SODA
2010
ACM

151views Algorithms» more SODA 2010»

A Max-Flow/Min-Cut Algorithm for a Class of Wireless Networks

14 years 7 months ago

Download siam.org

The linear deterministic model of relay channels is a generalization of the traditional directed network model which has become popular in the study of the flow of information ove...

S. M. Sadegh Tabatabaei Yazdi, Serap A. Savari

claim paper

Read More »

click to vote

CADE
2004
Springer

119views Logical Reasoning» more CADE 2004»

Dr.Doodle: A Diagrammatic Theorem Prover

14 years 10 months ago

Download winterstein.me.uk

This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...

Daniel Winterstein, Alan Bundy, Corin A. Gurr

claim paper

Read More »

click to vote

STOC
2006
ACM

78views Algorithms» more STOC 2006»

A new quantum lower bound method, : with applications to direct product theorems and time-space tradeoffs

14 years 10 months ago

Download www.ucw.cz

Andris Ambainis, Robert Spalek, Ronald de Wolf

claim paper

Read More »