Search Sciweavers | Sciweavers

1763 search results - page 353 / 353

» A Formalization of Polytime Functions

click to vote

ICSE
2007
IEEE-ACM

168views Software Engineering» more ICSE 2007»

ACL2s: "The ACL2 Sedan"

13 years 11 months ago

Download www.ccs.neu.edu

ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a ﬁnely tuned race ...

Peter C. Dillinger, Panagiotis Manolios, Daron Vro...

claim paper

Read More »

click to vote

AAAI
2007

101views Intelligent Agents» more AAAI 2007»

Learning by Reading: A Prototype System, Performance Baseline and Lessons Learned

13 years 7 months ago

Download www.cs.utexas.edu

A traditional goal of Artificial Intelligence research has been a system that can read unrestricted natural language texts on a given topic, build a model of that topic and reason...

Ken Barker, Bhalchandra Agashe, Shaw Yi Chaw, Jame...

claim paper

Read More »

click to vote

MOC
2011

194views Intelligent Agents» more MOC 2011»

Computing systems of Hecke eigenvalues associated to Hilbert modular forms

12 years 11 months ago

Download www.cems.uvm.edu

We utilize eﬀective algorithms for computing in the cohomology of a Shimura curve together with the Jacquet-Langlands correspondence to compute systems of Hecke eigenvalues assoc...

Matthew Greenberg, John Voight

claim paper

Read More »

« Prev « First page 353 / 353 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers