共查询到20条相似文献,搜索用时 93 毫秒
1.
Jianyong Duan Yi Hu Weilin Wu Hui Liu Ruzhan Lu 《通讯和计算机》2006,3(5):8-13
We propose a Multi-classifier Compatible Computational Model (MCCM) for Chinese noun sense disambiguation in this paper. In natural language processing, many problems can be viewed as classification in nature. However, different classifiers cannot be efficiently integrated by a general standard. Quantification rule is introduced for flexible integration of statistical and role-based classifiers. Rules are traced into the corpus for acquiring their quantification information. The other contribution is Projected Performance Evaluation Matrix (P-PEM). Classification performance is improved because it contains more accurate classification information for every classifier. Many faint classifiers boost a powerful MCCM model. Finally the experiment shows its advantages. 相似文献
2.
3.
4.
5.
我一直只喝雀巢咖啡,直到不久前到三联网络咖啡屋会友,小姐问我用哪种咖啡,才发现还有哥伦比亚咖啡,以及其他一些叫不上名字的咖啡。这种情况不惟原子世界独有,用不了多久,比特世界的人们在选用Java(“咖啡”)时,或许也得问一声:你准备用 相似文献
6.
7.
hf_qy 《数字社区&智能家居》2003,(8):35-39
注:文章所列题号均为笔试试卷相应题号一、选择题(13)在窗体上画两个单选按钮,名称分别为Option1、Option2,标题分别为"宋体"和"黑体";一个复选框,名称为Check1,标题为"粗体";一个文本框,名称为Text1,Text属性为"改变文字字体"。要求程序运行时,"宋体"单选按钮和"粗体"复选框被选中(窗体外观如下图),则能够实现上述要求的语句序列是A)Option1.Value=TrueCheck1.Value=FalseB)Option1.Value=TrueCheck1.Value=TrueC)Option2.Value=FalseCheck1.Value=TrueD)Option1.Value=TrueCheck1.Value=1正确答案:D)试… 相似文献
8.
俞中坚 《中国信息技术教育》2014,(5):8-9
H. Abelson&G. J. Sussman 《计算机程序结构与解释》第二版MITPress,1996 (翻译:俞中坚温州大学) 编程比通常所想更为复杂。从事计算机编程的人学习计算机语言,一般要遵循语言规范并阅读手册,但这些并非他们所做的全部。首先,程序员要以一种可靠的方式思考。他或她要认识到我们的逻辑与解决问题的思考过程,并将之简化为优雅的算法。程序员必须清晰地思考,并比普通人要更加深入地理解问题。他或她还必须将这些想法以非常精确与详尽的方式与简单沉默的机器沟通,绝不能含糊。这种思维方式被卡内基梅隆大学的周以真教授(JeannetteWing)称为“计算思维(ComputationalThinking)”。“计算思维是种思考过程,它涉及将问题与解答公式化, 相似文献
9.
10.
对于多数人来说,毕业后的第一份工作是至关重要的,因为它是职业生涯的一个重要起点。但该如何了解自己意向中的公司,并做出合理选择呢?本文中将给出合理的建议和解答。 相似文献
11.
以一阶谓词逻辑为基础,讨论约束满足问题.着重研究一阶逻辑公式可满足性的局部搜索法,并与命题逻辑中的可满足性过程加以比较.以皇后问题和哈密顿回路问题为例,说明基于一阶逻辑的方法能处理较大的问题实例. 相似文献
12.
13.
约束满足问题是人工智能领域的重要研究方向,其求解方法有三种,搜索、一致性算法和约束传播,其中一致性算法通常通过缩减问题域来提高搜索算法的效率.着重介绍了几种常用的一致性算法,并对几种常用算法进行了分析、比较和研究. 相似文献
14.
泛逻辑是在研究柔性世界逻辑规律时发现的一个新的连续值的逻辑体系,它通过引入广义相关性和广义自相关性刻画命题之间的相互关系.本文主要解决基于零级泛与运算的一阶谓词演算形式系统(V)ULh∈(0,1]的完备性.通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统(V)ULh∈(0.1],并证明其完备性定理.从而得到系统(V)ULh∈(0,1]的语义和语构是和谐的. 相似文献
15.
In this paper we present a framework for the fast prototyping of visual languages exploiting their local context based specification.In previous research, the local context specification has been used as a weak form of syntactic specification to define when visual sentences are well formed. In this paper we add new features to the local context specification in order to fully specify complex constructs of visual languages such as entity-relationships, use case and class diagrams. One of the advantages of this technique is its simplicity of application and, to show this, we present a tool implementing our framework.Moreover, we describe a user study aimed at evaluating the effectiveness and the user satisfaction when prototyping a visual language. 相似文献
16.
Software development is a people intensive activity. The abilities possessed by developers are strongly related to process productivity and final product quality. Thus, one of the most important decisions to be made by a software project manager is how to properly staff the project. However, staffing software projects is not a simple task. There are many alternatives to ponder, several developer-to-activity combinations to evaluate, and the manager may have to choose a team from a larger set of available developers, according to the project and organizational needs. Therefore, to perform the staffing activity with ad hoc procedures can be very difficult and can lead the manager to choose a team that is not the best for a given situation. 相似文献
17.
介绍了ADL,它是一种基于网络实时系统的活动性描述语言,一种描述并发处理中时态和功能行为的新的形式规格说明符号.ADL专用于计算机网络,是DORIS的一种形式语言扩充.它组合了状态机活动(ASM)的图形符号和基于模型的活动功能行为(AFB)符号;提供了关于ASM的抽象语法和静态、动态语义.最后通过一个小实例说明该语言是如何解释指定网络实时系统的. 相似文献
18.
Production management as a constraint satisfaction problem 总被引:2,自引:0,他引:2
MARKKU SYRJÄNEN 《Journal of Intelligent Manufacturing》1998,9(6):515-522
Production management problems can be quite straightforwardly presented as constraint satisfaction problems, where values for some variables are searched for under a set of constraints. A combination of an operation and a resource is usually interpreted as the variable, and a time window is usually interpreted as the value to be searched for. This convention is challenged. A case is considered where the most appropriate interpretation treats the combination of a resource and a time window as the variable, and an operation as the value. A third possible interpretation is also briefly covered, where the combination of an operation and a time window is the variable, and the resource is the value. 相似文献
19.
Lorenzo Bettini;Sara Capecchi;Betti Venneri 《法国自动化、信息与运筹学;理论与应用信息》2009,43(3):517-565
Mainstream object-oriented languages often fail to provide complete powerful features altogether, such as, multiple inheritance, dynamic overloading and copy semantics of inheritance. In this paper we present a core object-oriented imperative language that integrates all these features in a formal framework. We define a static type system and a translation of the language into the meta-language λ_object, , in order to account for semantic issues and prove type safety of our proposal.https://doi.org/10.1051/ita/2009008 相似文献
20.
Marcella Anselmo;Dora Giammarresi;Maria Madonia;Antonio Restivo 《法国自动化、信息与运筹学;理论与应用信息》2006,40(2):277-293
We consider the family UREC of unambiguous recognizabletwo-dimensional languages. We prove that there are recognizablelanguages that are inherently ambiguous, that is UREC family is aproper subclass of REC family. The result is obtained by showing anecessary condition for unambiguous recognizable languages.Further UREC family coincides with the class of picture languagesdefined by unambiguous 2OTA and it strictly contains itsdeterministic counterpart. Some closure and non-closure propertiesof UREC are presented. Finally we show that it is undecidablewhether a given tiling system is unambiguous.https://doi.org/10.1051/ita:2006008 相似文献