Search Sciweavers | Sciweavers

1664 search results - page 13 / 333

» Towards Partial Reasoning

151

click to vote

ACL2
2006
ACM

255views Computational Linguistics» more ACL2 2006»

Double rewriting for equivalential reasoning in ACL2

15 years 9 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 »

121

click to vote

TIME
2003
IEEE

92views Automated Reasoning» more TIME 2003»

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case

15 years 8 months ago

Download www.csc.liv.ac.uk

Boris Konev, Anatoli Degtyarev, Clare Dixon, Micha...

claim paper

Read More »

click to vote

TPHOL
1993
IEEE

97views Automated Reasoning» more TPHOL 1993»

Toward a Super Duper Hardware Tactic

15 years 7 months ago

Download dblab.mgt.ncu.edu.tw

Mark Aagaard, Miriam Leeser, Phillip J. Windley

claim paper

Read More »

105

click to vote

GIS
2009
ACM

141views Automated Reasoning» more GIS 2009»

Towards the SocioScope: an information system for the study of social dynamics through digital traces

15 years 6 months ago

Download www.cse.unt.edu

Andrea Vaccari, Francesco Calabrese, Bing Liu, Car...

claim paper

Read More »

click to vote

GIS
2008
ACM

89views Automated Reasoning» more GIS 2008»

Towards trajectory anonymization: a generalization-based approach

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers