2 search results - page 1 / 1 » Partial Parsing from Bitext Projections |
58
Voted
ACL
2011
14 years 6 months ago
2011
151
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...