Web服务描述的本体学习方法

目前互联网上已有的本体难以满足Web服务语义查询的需要,而手工建立本体不仅困难而且成本很高,因此有必要建立一种从已有Web服务描述中进行本体学习的方法,辅助领域专家建立高质量的领域本体。针对上述问题,提出了一种针对Web服务描述的本体学习方法。该方法利用一种基于层次Dirichlet过程（hierarchical Dirichlet process,HDP）的主题模型自动学习本体层次结构和每一层中所包含的主题数目。每一层次的主题采用“代表单词”表示,“代表单词”由算法计算得出。基于参数组合模式的规则定义语义丰富规则,并被应用在自底向上的本体语义丰富算法中。实验表明,该方法在语义内容上要比单独使用hHDP（hierar-chies of hierarchical Dirichlet process）方法更加丰富,在语义层次上要好于使用关联规则挖掘方法形成的本体。     

Completion for Multiple Reduction Orderings

We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation performed by the parallel processes each of which executes the standard completion procedure (KB) with one of the given orderings. To gain efficiency, however, we develop new inference rules working on objects called nodes, which are data structures consisting of a pair s : t of terms associated with the information to show which processes contain the rule s t (or t s) and which processes contain the equation s t. The idea is based on the observation that some inferences made in different processes are often closely related, so we can design inference rules that simulate these inferences all in a single operation. Our experiments show that MKB is significantly more efficient than the naive simulation of parallel execution of KB procedures, when the number of reduction orderings is large enough. We also present an extension of this technique to the unfailing completion for multiple reduction orderings, which is useful in various areas of automated reasoning, including equational theorem proving.     

基于评论和物品描述的深度学习推荐算法

评论文本中蕴含着丰富的用户和物品信息,将其应用于推荐算法有助于缓解数据稀疏问题,提高推荐准确度.然而,现有的基于评论的推荐模型对评论文本的挖掘不够充分和有效,并且大多忽视了用户兴趣随时间的迁移和蕴含物品属性的物品描述文档,使得推荐结果不够准确.基于此,文中提出了一种基于深度语义挖掘的推荐模型(Deep Semantic...     

LTV Model Reduction With Upper Error Bounds

A new approach for computing upper error bounds for reduced-order models of linear time-varying systems is presented. It is based on a transformation technique of the Hankel singular values using positive-real, odd incremented functions. By applying such time-varying functions, the singular values to be removed can be forced to become equal and constant, so that they can be reduced. Two variations of this method are proposed: one for finite-time horizons and the other for infinite-time problems including periodic systems.      

Learning through multimedia

The creation of multimedia composition tools for young learners is addressed. The factors to consider in designing composing tools are discussed. Such a set of tools, called the Multimedia Works software environment, is described. It consists of three programs: Media Space, a multimedia database and research program; Multimedia Works Composer, a storyboarding and presentation program; and Video Light Table, a direct manipulation video-clip editor. The use of student participation in developing the tools is also described. Some problems that are being worked on are examined