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
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
31686
search results - page 181 / 6338
»
Resource typing in Guru
Sort
relevance
views
votes
recent
update
View
thumb
title
19
click to vote
TOPLAS
2002
66
views
more
TOPLAS 2002
»
On the usefulness of type and liveness accuracy for garbage collection and leak detection
13 years 8 months ago
Download
www-plan.cs.colorado.edu
Martin Hirzel, Amer Diwan, Johannes Henkel
claim paper
Read More »
10
click to vote
CORR
2010
Springer
46
views
Education
»
more
CORR 2010
»
Limits of Commutativity on Abstract Data Types
13 years 8 months ago
Download
hal.archives-ouvertes.fr
Carmelo Malta, José Martinez
claim paper
Read More »
25
click to vote
MSCS
2007
62
views
more
MSCS 2007
»
On the ubiquity of certain total type structures
13 years 8 months ago
Download
homepages.inf.ed.ac.uk
John Longley
claim paper
Read More »
22
click to vote
RC
2007
66
views
more
RC 2007
»
Guaranteeing the Homotopy Type of a Set Defined by Non-Linear Inequalities
13 years 8 months ago
Download
www.istia.univ-angers.fr
Nicolas Delanoue, Luc Jaulin, Bertrand Cottenceau
claim paper
Read More »
21
click to vote
SODA
2010
ACM
121
views
Algorithms
»
more
SODA 2010
»
Lower bounds for Edit Distance and Product Metrics via Poincare-Type Inequalities
13 years 8 months ago
Download
people.csail.mit.edu
Alexandr Andoni, T.S. Jayram, Mihai Patrascu
claim paper
Read More »
« Prev
« First
page 181 / 6338
Last »
Next »