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 158 / 924
»
Automation of Diagrammatic Reasoning
Sort
relevance
views
votes
recent
update
View
thumb
title
101
click to vote
KR
2004
Springer
110
views
Automated Reasoning
»
more
KR 2004
»
Automated Reformulation of Specifications by Safe Delay of Constraints
15 years 11 months ago
Download
www.aaai.org
Marco Cadoli, Toni Mancini
claim paper
Read More »
242
click to vote
GIS
2008
ACM
109
views
Automated Reasoning
»
more
GIS 2008
»
A situation-centric approach to meteorological services in the SITUMET platform
16 years 7 months ago
Download
www.situmet.org
Stefan Pfennigschmidt, Agnès Voisard
claim paper
Read More »
228
click to vote
GIS
2009
ACM
172
views
Automated Reasoning
»
more
GIS 2009
»
An Agenda for the Next Generation Gazetteer: Geographic Information Contribution & Retrieval
16 years 7 months ago
Download
musil.uni-muenster.de
Carsten Keßler, Krzysztof Janowicz, Mohamed Bishr
claim paper
Read More »
239
click to vote
GIS
2006
ACM
149
views
Automated Reasoning
»
more
GIS 2006
»
Entity resolution in geospatial data integration
16 years 7 months ago
Download
www.cs.umd.edu
Vivek Sehgal, Lise Getoor, Peter Viechnicki
claim paper
Read More »
247
click to vote
ICLP
2009
Springer
68
views
Automated Reasoning
»
more
ICLP 2009
»
Research Summary
16 years 7 months ago
Download
www.tsrhc.org
Jianmin Ji
claim paper
Read More »
« Prev
« First
page 158 / 924
Last »
Next »
