首页 | 本学科首页   官方微博 | 高级检索  
     


Constraint satisfaction for robust parsing of spoken language
Authors:WOLFGANG MENZEL
Abstract:Abstract. The eliminative nature of constraint satisfaction over finite domains offers an interesting potentialfor robustness in the parsing of spoken language. An approach is presented that puts unusually ambitious demands on the design of the constraint satisfaction procedure by trying to combine preferential reasoning, dynamic scheduling, parallel processing, and incremental constraint solving, within a coherent solution.
Keywords:Branching-time Automated Deduction Resolution Program Specification Verification
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号