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"

14 years 1 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 9 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

13 years 1 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