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 186 / 6338
»
Resource typing in Guru
Sort
relevance
views
votes
recent
update
View
thumb
title
49
click to vote
NDJFL
2011
210
views
Computer Networks
»
more
NDJFL 2011
»
Lascar Types and Lascar Automorphisms in Abstract Elementary Classes
13 years 4 months ago
Download
www.ml.kva.se
Tapani Hyttinen, Meeri Kesälä
claim paper
Read More »
28
click to vote
SCP
2011
209
views
Communications
»
more
SCP 2011
»
Formalisation and implementation of an algorithm for bytecode verification of @NonNull types
13 years 4 months ago
Download
homepages.mcs.vuw.ac.nz
Chris Male, David J. Pearce, Alex Potanin, Constan...
claim paper
Read More »
26
click to vote
COLING
2011
219
views
Computational Linguistics
»
more
COLING 2011
»
Towards Modular Development of Typed Unification Grammars
13 years 4 months ago
Download
www.aclweb.org
Yael Sygal, Shuly Wintner
claim paper
Read More »
20
click to vote
ORDER
2010
96
views
more
ORDER 2010
»
On Homotopy Types of Alexandroff Spaces
13 years 4 months ago
Download
math.uchicago.edu
Michal Jerzy Kukiela
claim paper
Read More »
24
click to vote
PRL
2010
232
views
more
PRL 2010
»
Locality sensitive hashing: A comparison of hash function types and querying mechanisms
13 years 4 months ago
Download
www.irisa.fr
Loïc Paulevé, Hervé Jégo...
claim paper
Read More »
« Prev
« First
page 186 / 6338
Last »
Next »