Search Sciweavers | Sciweavers

1664 search results - page 13 / 333

» Towards Partial Reasoning

192

click to vote

ACL2
2006
ACM

255views Computational Linguistics» more ACL2 2006»

Double rewriting for equivalential reasoning in ACL2

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

154

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 11 months ago

Download www.csc.liv.ac.uk

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

claim paper

Read More »

135

click to vote

TPHOL
1993
IEEE

97views Automated Reasoning» more TPHOL 1993»

Toward a Super Duper Hardware Tactic

15 years 10 months ago

Download dblab.mgt.ncu.edu.tw

Mark Aagaard, Miriam Leeser, Phillip J. Windley

claim paper

Read More »

135

Voted

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 9 months ago

Download www.cse.unt.edu

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

claim paper

Read More »

107

click to vote

GIS
2008
ACM

89views Automated Reasoning» more GIS 2008»

Towards trajectory anonymization: a generalization-based approach

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers