Sciweavers

2 search results - page 1 / 1
» Partial Parsing from Bitext Projections
Sort
View
40
Voted
ACL
2011
14 years 1 months ago
Partial Parsing from Bitext Projections
Prashanth Mannem, Aswarth Dara
SIGSOFT
2003
ACM
15 years 10 months ago
Towards scalable compositional analysis by refactoring design models
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...
Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia...