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