Search Sciweavers | Sciweavers

40

click to vote

AGENTCL
2003
Springer

222views Intelligent Agents» more AGENTCL 2003»

Model Checking for ACL Compliance Verification

14 years 2 months ago

Download www.csc.liv.ac.uk

Marc-Philippe Huget, Michael Wooldridge

claim paper

Read More »

33

click to vote

CHARME
2003
Springer

103views Hardware» more CHARME 2003»

Linear and Nonlinear Arithmetic in ACL2

14 years 4 months ago

Download userweb.cs.utexas.edu

Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...

Warren A. Hunt Jr., Robert Bellarmine Krug, J. Str...

claim paper

Read More »

28

click to vote

ACL
2003

108views Computational Linguistics» more ACL 2003»

A Prototype Text to British Sign Language (BSL) Translation System

14 years 7 days ago

Download acl.ldc.upenn.edu

We demonstrate a text to sign language translation system for investigating sign language (SL) structure and assisting in production of sign narratives and informa

Ian Marshall, Éva Sáfár

claim paper

Read More »

26

click to vote

ACL
2003

76views Computational Linguistics» more ACL 2003»

A SNoW Based Supertagger with Application to NP Chunking

14 years 7 days ago

Download acl.ldc.upenn.edu

Supertagging is the tagging process of assigning the correct elementary tree of LTAG, or the correct supertag, to each

Libin Shen, Aravind K. Joshi