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
1894
search results - page 11 / 379
»
Towards Mobile Reasoning
Sort
relevance
views
votes
recent
update
View
thumb
title
60
click to vote
TPHOL
1993
IEEE
97
views
Automated Reasoning
»
more
TPHOL 1993
»
Toward a Super Duper Hardware Tactic
15 years 1 months ago
Download
dblab.mgt.ncu.edu.tw
Mark Aagaard, Miriam Leeser, Phillip J. Windley
claim paper
Read More »
70
click to vote
GIS
2009
ACM
141
views
Automated Reasoning
»
more
GIS 2009
»
Towards the SocioScope: an information system for the study of social dynamics through digital traces
15 years 21 days ago
Download
www.cse.unt.edu
Andrea Vaccari, Francesco Calabrese, Bing Liu, Car...
claim paper
Read More »
53
click to vote
GIS
2008
ACM
89
views
Automated Reasoning
»
more
GIS 2008
»
Towards trajectory anonymization: a generalization-based approach
14 years 10 months ago
Download
www.cs.purdue.edu
Mehmet Ercan Nergiz, Maurizio Atzori, Yücel S...
claim paper
Read More »
58
click to vote
GIS
2007
ACM
111
views
Automated Reasoning
»
more
GIS 2007
»
Towards a general theory of geographic representation in GIS
14 years 9 months ago
Download
www.geog.ucsb.edu
Michael F. Goodchild, May Yuan, Thomas J. Cova
claim paper
Read More »
101
click to vote
ROBOCUP
2004
Springer
133
views
Robotics
»
more
ROBOCUP 2004
»
Towards a League-Independent Qualitative Soccer Theory for RoboCup
15 years 2 months ago
Download
www.informatik.uni-bremen.de
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer,...
claim paper
Read More »
« Prev
« First
page 11 / 379
Last »
Next »