Search Sciweavers | Sciweavers

742 search results - page 4 / 149

» Considerations in Automated Marking

click to vote

CSL
2006
Springer

95views Automated Reasoning» more CSL 2006»

NIST and NFI-TNO evaluations of automatic speaker recognition

13 years 7 months ago

Download lands.let.kun.nl

David A. van Leeuwen, Alvin F. Martin, Mark A. Prz...

claim paper

Read More »

click to vote

WOTE
2010

90views Emerging Technology» more WOTE 2010»

On Optical Mark-Sense Scanning

13 years 6 months ago

Download www.cs.uiowa.edu

Optical mark-sense scanning has lead to a resurgence in the use of paper ballots in the United States, despite a century of strong competition from paperless direct-recording votin...

Douglas W. Jones

claim paper

Read More »

click to vote

TPHOL
2005
IEEE

107views Automated Reasoning» more TPHOL 2005»

Mechanized Metatheory for the Masses: The PoplMark Challenge

14 years 1 months ago

Download www.cl.cam.ac.uk

Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...

Brian E. Aydemir, Aaron Bohannon, Matthew Fairbair...

claim paper

Read More »

click to vote

TPHOL
2007
IEEE

115views Automated Reasoning» more TPHOL 2007»

Improving the Usability of HOL Through Controlled Automation Tactics

14 years 1 months ago

Download people.csail.mit.edu

Eunsuk Kang, Mark Aagaard

claim paper

Read More »