1646 search results - page 16 / 330 » Automatic generation of two-party computations |
NAACL
2010
13 years 5 months ago
2010
This paper describes a method for checking the acceptability of paraphrases in context. We use the Google n-gram data and a CCG parser to certify the paraphrasing grammaticality a...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
We introduce MySong, a system that automatically chooses chords to accompany a vocal melody. A user with no musical experience can create a song with instrumental accompaniment ju...
SAC
2003
ACM
14 years 27 days ago
2003
ACM
Traditional design and implementation of large atmospheric models is a difficult, tedious and error prone task. With the CTADEL project we investigate a new method of code genera...
ICPR
2008
IEEE
14 years 8 months ago
2008
IEEE
Sign language is used for communicating to people with hearing difficulties. Recogntion of a sign language image sequence is challenging because of the variety of hand shapes and ...