77 search results - page 1 / 16 » Reducing the Need for Double Annotation |
ACLLAW
2011
12 years 10 months ago
2011
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
ACL
2009
13 years 4 months ago
2009
Letter-to-phoneme (L2P) conversion is the process of producing a correct phoneme sequence for a word, given its letters. It is often desirable to reduce the quantity of training d...
CTRSA
2006
Springer
13 years 10 months ago
2006
Springer
The most important and expensive operation in a hyperelliptic curve cryptosystem (HECC) is scalar multiplication by an integer k, i.e., computing an integer k times a divisor D on ...
ITC
2003
IEEE
14 years 10 days ago
2003
IEEE
In a scan-based system with a large number of flip-flops, a major component of power is consumed during scanshift and clocking operation in test mode. In this paper, a novel scan-...