机译:完全参数化固定控制器设计 h i> h ∞ sub>∞ 使用频率响应 - 扩展到MIMO系统的环形整形方法
机译:
机译:在基于约束的创作系统中交互式创作多媒体文档
机译:WWW文档的合作创作系统设计
机译:发现文档语义QBS:一种用于通过语义查询WWW的系统。
机译:基于XML的文档框架在知识内容创作和临床信息系统开发中的应用
机译:行为和归纳重写(特邀演讲)11本文报道的研究得到了美国国家科学基金会(National Science Foundation)资助CCR-9901002以及日本信息促进局(IPA)的CafeOBJ项目的部分支持,这是其高级软件技术计划的一部分。可以在他们的网站(网址分别为http://www.ucsd.edu/users/{goguen,klin,grosu})上找到作者。有关BOBJ系统的更多信息,请访问http://www.ucsd.edu/groups/tatami/bobj/。注意:作者的所有论文都可以在其网站上找到,它们的网址分别为www.ucsd。 edu / users / {goguen,klin,grosu}。有关BOBJ系统的更多信息,请访问www.ucsd.edu/groups/tatami/bobj/。
机译:验证sEpIa协同authoring211系统的补偿要求