Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
16626
search results - page 295 / 3326
»
Computing is a natural science
Sort
relevance
views
votes
recent
update
View
thumb
title
133
click to vote
TLCA
1997
Springer
94
views
Theoretical Computer Science
»
more
TLCA 1997
»
Primitive Recursion for Higher-Order Abstract Syntax
15 years 11 months ago
Download
www.cs.cmu.edu
Joëlle Despeyroux, Frank Pfenning, Carsten Sc...
claim paper
Read More »
149
click to vote
FOCS
1993
IEEE
61
views
Theoretical Computer Science
»
more
FOCS 1993
»
A Simple Local-Control Approximation Algorithm for Multicommodity Flow
15 years 11 months ago
Download
www.cs.jhu.edu
Baruch Awerbuch, Frank Thomson Leighton
claim paper
Read More »
166
click to vote
FOCS
1993
IEEE
78
views
Theoretical Computer Science
»
more
FOCS 1993
»
A Quantum Bit Commitment Scheme Provably Unbreakable by both Parties
15 years 11 months ago
Download
crypto.cs.mcgill.ca
Gilles Brassard, Claude Crépeau, Richard Jo...
claim paper
Read More »
158
click to vote
FOCS
1994
IEEE
72
views
Theoretical Computer Science
»
more
FOCS 1994
»
A Theory of Competitive Analysis for Distributed Algorithms
15 years 11 months ago
Download
www.cs.yale.edu
Miklós Ajtai, James Aspnes, Cynthia Dwork, ...
claim paper
Read More »
133
click to vote
FOCS
1994
IEEE
132
views
Theoretical Computer Science
»
more
FOCS 1994
»
Approximate Graph Coloring by Semidefinite Programming
15 years 11 months ago
Download
www.hirata.nuee.nagoya-u.ac.jp
David R. Karger, Rajeev Motwani, Madhu Sudan
claim paper
Read More »
« Prev
« First
page 295 / 3326
Last »
Next »
