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
4617
search results - page 218 / 924
»
Automation of Diagrammatic Reasoning
Sort
relevance
views
votes
recent
update
View
thumb
title
224
click to vote
GIS
2004
ACM
116
views
Automated Reasoning
»
more
GIS 2004
»
Enabling routes as context in mobile services
16 years 7 months ago
Download
wim.cs.aau.dk
Agne Brilingaite, Christian S. Jensen, Nora Zokait...
claim paper
Read More »
221
click to vote
ICLP
2009
Springer
118
views
Automated Reasoning
»
more
ICLP 2009
»
Debugging for Model Expansion
16 years 7 months ago
Download
www.mai.kuleuven.be
Johan Wittocx, Hanne Vlaeminck, Marc Denecker
claim paper
Read More »
121
click to vote
FLOPS
2010
Springer
262
views
Automated Reasoning
»
more
FLOPS 2010
»
Defunctionalized Interpreters for Call-by-Need Evaluation
16 years 1 months ago
Download
www.zerny.dk
Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zer...
claim paper
Read More »
129
click to vote
FLOPS
2010
Springer
310
views
Automated Reasoning
»
more
FLOPS 2010
»
PiSigma: Dependent Types without the Sugar
16 years 1 months ago
Download
www.cs.nott.ac.uk
Thorsten Altenkirch, Nils Anders Danielsson, Andre...
claim paper
Read More »
155
click to vote
GIS
2009
ACM
194
views
Automated Reasoning
»
more
GIS 2009
»
A dissimilarity function for clustering geospatial polygons
16 years 1 months ago
Download
cse.unl.edu
Deepti Joshi, Ashok Samal, Leen-Kiat Soh
claim paper
Read More »
« Prev
« First
page 218 / 924
Last »
Next »
