境外开放课程——按学科专业列表
开放课程→工程与技术科学→计算机科学技术→计算机科学技术基础学科::
421
First order logic for learning user models in the semantic web: why do we need it?[一阶逻辑在语义Web学习用户模型:我们为什么需要它?]
François Jacquenet(圣艾蒂安大学) 在本文中,我们声称在一阶逻辑框架中学习对于语义Web上下文中的用户建模应用程序的未来至关重要(本文的剩余部分是sw)。我们首先介绍了一些目前已经完成的设计...
热度:39
François Jacquenet(圣艾蒂安大学) 在本文中,我们声称在一阶逻辑框架中学习对于语义Web上下文中的用户建模应用程序的未来至关重要(本文的剩余部分是sw)。我们首先介绍了一些目前已经完成的设计...
热度:39
422
Theorem proving competition overview and results[定理证明的竞争概述和结果]
Geoff Sutcliffe(迈阿密大学) 定理证明的竞争概述和结果
热度:49
Geoff Sutcliffe(迈阿密大学) 定理证明的竞争概述和结果
热度:49
423
Turing, Church, Gödel, Computability, Complexity and Randomization: A Personal View[图灵,教会,哥德尔,可计算性,复杂性和随机性:我见]
Michael O. Rabin(哈佛大学) 上面提到的在九十年代中期创新了可计算性的概念。AlanTuring通过创建一个通用存储程序计算机模型给出了可计算性的定义。随后,通过讨论可计算函数的固有复杂性,...
热度:56
Michael O. Rabin(哈佛大学) 上面提到的在九十年代中期创新了可计算性的概念。AlanTuring通过创建一个通用存储程序计算机模型给出了可计算性的定义。随后,通过讨论可计算函数的固有复杂性,...
热度:56
424
425
426
427
428
429
430
TAO - Transitioning Applications to Ontologies in Bled[TAO-应用到本体的转换在流血]
(无) TAO—将应用程序转换为本体。TAO项目的目标是定义将遗留系统转换为开放式语义服务导向架构(SOA)的低成本路线,这将使异构数据资源和分布式应用程序之间实现语...
热度:55
(无) TAO—将应用程序转换为本体。TAO项目的目标是定义将遗留系统转换为开放式语义服务导向架构(SOA)的低成本路线,这将使异构数据资源和分布式应用程序之间实现语...
热度:55
431
432
Semantic Web Services (SWS) Retreat, Seefeld 2009[语义Web服务(SWS)撤退, Seefeld 2009]
(因斯布鲁克大学) 语义Web服务(SWS)课程旨在提供一个为期5天的强化课程,培训现有和新的语义Web服务领域的研究人员和从业者,以鼓励他们参与这一不断增长的领域,并让他们接触到...
热度:64
(因斯布鲁克大学) 语义Web服务(SWS)课程旨在提供一个为期5天的强化课程,培训现有和新的语义Web服务领域的研究人员和从业者,以鼓励他们参与这一不断增长的领域,并让他们接触到...
热度:64
433
434
Macrotexture and drainability in friction courses: modeling and experiments[在课程的宏观结构和排放:摩擦建模与实验]
Filippo Giammaria Praticò(地中海大学)
热度:29
Filippo Giammaria Praticò(地中海大学)
热度:29
435