Combining ACL2 and an automated verification tool to verify a multiplierErik ReeberJun Sawada2006ACL2 2006
Integrating text and phonetic information for robust statistical speech translationLiang GuYonggang Denget al.2006SLT 2006
Privacy and security threat analysis of the federal employee Personal Identity Verification (PIV) programPaul A. Karger2006SOUPS 2006
Heuristics-based scheduling of composite web service workloadsThomas PhanWen-Syan Li2006Middleware 2006