检索结果-内蒙古大学图书馆

Proceedings of the 2005 Australasian Ontology Workshop - Volume 58

作者： Alexander Paar Jürgen Reuter Jaron Schaeffer Institute for Program Structures and Data Organization Universität Karlsruhe (TH) Karlsruhe Germany

ISBN: (纸本)9781920682408

Recently, ontology engineering has become ever more important when it comes to conceptualize knowledge. However, writing software applications that operate on ontological knowledge still suffers from a lack of connectivity provided by available ontology management systems. Interfaces of ontology management systems are either based on error prone programming language agnostic remoting protocols or they are restricted to one particular programming language. We implemented an ontological Knowledge Base Server, which can expose the functionality of arbitrary off-the-shelf ontology management systems via arbitrary remoting protocols. Based on XML Schema Definition, we defined a full-fledged API for processing OWL ontologies. Client access code can be generated automatically for virtually any object oriented programming language. Using Description Logics terminology, the Knowledge Base Server API was formally specified, such that it could be used to validate implementations based on three different adapted ontology management systems.

关键词： description logics ontology management web ontology language (OWL)

来源：评论

学校读者我要写书评

暂无评论

Peer-Supervised Learning with Built-In Quality Control Based on Multiple-Choice Questions: A Case Study

Peer-Supervised Learning with Built-In Quality Control Based...

引用

International Conference on Advanced Learning Technologies (ICALT)

作者： Christian Hütter Tobias Kimmerle Klemens Böhm Fiuid Operations AG Walldorf Germany Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Germany

Rating multiple choice questions (MCQ) created by peers has been touted as a good approach to peer assessment. The main challenge in this setting is to ensure the quality of peer assessment. Existing approaches rely on the assumption that students intrinsically create high-quality ratings. We propose an incentive mechanism to increase the quality of ratings. To evaluate our approach, we have conducted a case study with 242 students and 17 experts. Our results show that peer ratings are a good predictor of expert ratings. Furthermore, we develop a model that reliably measures the performance of students, but does not require expert ratings.

关键词： Estimation Correlation Reliability Probability distribution Complexity theory Educational institutions

来源：评论

学校读者我要写书评

暂无评论

SONAR: Towards User-centric Social Network Analysis and Visualization

SONAR: Towards User-centric Social Network Analysis and Visu...

引用

IEEE WIC ACM International Conference on Web Intelligence (WI)

作者： Christian Hütter Björn-Oliver Hartmann Klemens Böhm Till Heistermann Kevin-Simon Kohlmeyer Reno Reckling Martin Reiche David Soria Parra Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Germany MAYFLOWER GmbH München Germany

Social network analysis (SNA) has attracted a lot of attention over the past years. Existing tools for SNA do not allow a user-centric analysis of the social neighborhood, i.e., the subgraph of the user's friends and friends of a friend. In this paper, we introduce SONAR, an open source Web application for user-centric SNA. Its extensible architecture and flexible data model allows developers to embed SONAR directly into social networking websites. A performance evaluation shows that our application scales well with the number of users and adds only minimal overhead to the SNA algorithms.

关键词： Sonar Servers data models Tin Social network services data visualization Computer architecture

来源：评论

学校读者我要写书评

暂无评论

An unabridged source code dataset for research in software reuse

An unabridged source code dataset for research in software r...

引用

International Mining Software Repositories, MSR

作者： Werner Janjic Oliver Hummel Marcus Schumacher Colin Atkinson Software-Engineering Group University of Mannheim Germany Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Germany

ISBN: (纸本)9781467329347

This paper describes a large, unabridged data-set of Java source code gathered and shared as part of the Merobase Component Finder project of the Software-Engineering Group at the University of Mannheim. It consists of the complete index used to drive the search engine, ***, the vast majority 1 of the source code modules accessible through it, and a tool that enables researchers to efficiently browse the collected data. We describe the techniques used to collect, format and store the data set, as well as the core capabilities of the Merobase search engine such as classic keyword-based, interface-based and test-driven search. This data-set, which represents one of the largest searchable collections of source and binary modules available online, has been recently made available for download and use in further research projects. All files are available at http://***/sources/.

关键词： Indexes Java Search engines Relational databases Containers Open source software

来源：评论

学校读者我要写书评

暂无评论

Component-Based Software Engineering 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Lars Grunske Ralf Reussner Frantisek Plasil

ISBN: (数字)9783642132384

ISBN: (纸本)9783642132377

The 2010 Symposium on Component-Based Software Engineering (CBSE 2010) was the 13th in a series of successful events that have grown into the main forum for industrial and academic experts to discuss component technology. CBSE is concerned with the development of software-intensive systems from - dependently developed software-building blocks (components), the development of components, and system maintenance and improvement by means of com- nent replacement and customization. The aim of the conference is to promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. In line with a broad interest, CBSE 2010 received 48 submissions. From these submissions, 14 were accepted after a careful peer-review process followed by an online program committee discussion. This resulted in an acceptance rate of 29%. The selected technical papers are published in this volume. For the fourth time, CBSE 2010 was held as part of the conference series: Fed- ated Events on Component-Based Software Engineering and Software Archit- ture (COMPARCH). The federated events were: the 13th International S- posium on Component-Based Software Engineering (CBSE 2010), the 6th - ternational Conference on the Quality of Software Architectures (QoSA 2010), andthe1stInternationalSymposium onArchitecting CriticalSystems(ISARCS 2010). Together with COMPARCH’s Industrial Experience Report Track and the co-located Workshop on Component-Oriented programming (WCOP 2010), COMPARCH provided a broad spectrum of events related to components and architectures.

关键词： Software Engineering/programming and Operating Systems Software Engineering Logics and Meanings of programs programming Languages, Compilers, Interpreters Computer Communication Networks programming Techniques

来源：评论

学校读者我要写书评

暂无评论

Architecture-Based Assessment and Planning of Software Changes in Information and Automated Production Systems State of the Art and Open Issues

Architecture-Based Assessment and Planning of Software Chang...

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： Birgit Vogel-Heuser S. Feldmann J. Folmer Susanne Rösch R. Heinrich K. Rostami R. Reussner Institute of Automation and Information Systems Technische Universitat München Germany Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Karlsruhe Germany

ISBN: (纸本)9781479986989

Information and automated production systems are long-living, evolvable systems. Consequently, modifications are performed to correct, improve or adapt the respective system. We introduce different approaches to analyze maintainability of software-intensive systems and propose two different case studies from the information and from the automated production systems domain as a basis to validate approaches on system evolution.

关键词： Computer architecture Software Adaptation models Automation Unified modeling language Software architecture IEC Standards

来源：评论

学校读者我要写书评

暂无评论

The Minimax Rate of HSIC Estimation for Translation-Invariant Kernels

arXiv

引用

arXiv 2024年

作者： Kalinke, Florian Szabó, Zoltán Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Karlsruhe Germany Department of Statistics London School of Economics London United Kingdom

Kernel techniques are among the most influential approaches in data science and statistics. Under mild conditions, the reproducing kernel Hilbert space associated to a kernel is capable of encoding the independence of M ≥ 2 random variables. Probably the most widespread independence measure relying on kernels is the so-called Hilbert-Schmidt independence criterion (HSIC;also referred to as distance covariance in the statistics literature). Despite various existing HSIC estimators designed since its introduction close to two decades ago, the fundamental question of the rate at which HSIC can be estimated is still open. In this work, we prove that the minimax optimal rate of HSIC estimation on Rd for Borel measures containing the Gaussians with continuous bounded translation-invariant characteristic kernels is O(n−1/2). Specifically, our result implies the optimality in the minimax sense of many of the most-frequently used estimators (including the U-statistic, the V-statistic, and the Nyström-based one) on RdMSC Codes 62C20, 46E22, 47B32, 94A15, 62G10 Copyright © 2024, The Authors. All rights reserved.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

Automated Feature Model-Based Generation of Refinement Transformations

Automated Feature Model-Based Generation of Refinement Trans...

引用

Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

作者： Lucia Kapova Thomas Goldschmidt Institute for Program Structures and Data Organization Universität Karlsruhe Karlsruhe Germany FZI Research Centre for Information Technology Karlsruhe Germany

Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transformations are used. In many cases these refinement parts are highly variable and configurable. Such a configuration could depend on application specific features. Today, application developers need to define refinement transformations manually, including all possible configuration combinations. Due to the high number of possible initial requirements such a development method is costly and means significant effort. Therefore configurable refinements should be embedded in an overall model-driven application development process. Currently there is a lack of automated support for integrating these configuration decisions into the development process of refinement transformations. In this paper, we introduce a novel approach for automated feature model-based generation of refinement transformations. To express application features, we consider configurations specified by extended feature diagrams. In addition, we provide a running example giving insight into the application of the presented approach.

关键词： Application software Predictive models Message-oriented middleware Guidelines Software engineering Information technology data engineering Costs Model driven engineering Instruments

来源：评论

学校读者我要写书评

暂无评论

Nyström M-Hilbert-Schmidt Independence Criterion

arXiv

引用

arXiv 2023年

Kernel techniques are among the most popular and powerful approaches of data science. Among the key features that make kernels ubiquitous are (i) the number of domains they have been designed for, (ii) the Hilbert structure of the function class associated to kernels facilitating their statistical analysis, and (iii) their ability to represent probability distributions without loss of information. These properties give rise to the immense success of Hilbert-Schmidt independence criterion (HSIC) which is able to capture joint independence of random variables under mild conditions, and permits closed-form estimators with quadratic computational complexity (w.r.t. the sample size). In order to alleviate the quadratic computational bottleneck in large-scale applications, multiple HSIC approximations have been proposed, however these estimators are restricted to M "2 random variables, do not extend naturally to the M ě 2 case, and lack theoretical guarantees. In this work, we propose an alternative Nyström-based HSIC estimator which handles the M ě 2 case, prove its consistency, and demonstrate its applicability in multiple contexts, including synthetic examples, dependency testing of media annotations, and causal *** Codes 46E22, 94A17 Copyright © 2023, The Authors. All rights reserved.

关键词： Random variables

来源：评论

学校读者我要写书评

暂无评论

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2012年 7303 LNCS卷 V页

作者： Pankratius, Victor Philippsen, Michael Karlsruhe Institute of Technology Institute for Program Structures and Data Organization Am Fasanengarten 5 b. 50.34 76131 Karlsruhe Germany Martensstr. 3 91058 Erlangen Germany

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：