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
1664
search results - page 13 / 333
»
Towards Partial Reasoning
Sort
relevance
views
votes
recent
update
View
thumb
title
31
click to vote
ACL2
2006
ACM
255
views
Computational Linguistics
»
more
ACL2 2006
»
Double rewriting for equivalential reasoning in ACL2
14 years 1 months ago
Download
userweb.cs.utexas.edu
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
Matt Kaufmann, J. Strother Moore
claim paper
Read More »
17
click to vote
TIME
2003
IEEE
92
views
Automated Reasoning
»
more
TIME 2003
»
Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case
14 years 17 days ago
Download
www.csc.liv.ac.uk
Boris Konev, Anatoli Degtyarev, Clare Dixon, Micha...
claim paper
Read More »
21
click to vote
TPHOL
1993
IEEE
97
views
Automated Reasoning
»
more
TPHOL 1993
»
Toward a Super Duper Hardware Tactic
13 years 11 months ago
Download
dblab.mgt.ncu.edu.tw
Mark Aagaard, Miriam Leeser, Phillip J. Windley
claim paper
Read More »
21
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
13 years 10 months ago
Download
www.cse.unt.edu
Andrea Vaccari, Francesco Calabrese, Bing Liu, Car...
claim paper
Read More »
14
click to vote
GIS
2008
ACM
89
views
Automated Reasoning
»
more
GIS 2008
»
Towards trajectory anonymization: a generalization-based approach
13 years 8 months ago
Download
www.cs.purdue.edu
Mehmet Ercan Nergiz, Maurizio Atzori, Yücel S...
claim paper
Read More »
« Prev
« First
page 13 / 333
Last »
Next »