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

Flexible database querying based on associations of domain values 10th

10th international symposium on Methodologies for Intelligent Systems, ISMIS 1997

作者： Andreasen, Troels Roskilde University Computer Science Department Intelligent Systems Laboratory P.O.Box 260 RoskildeDK-4000 Denmark

ISBN: (纸本)3540636145

In this paper we present an approach to database querying based on fuzzy evaluation of queries. In the approach a dedicated mining for domain knowledge is involved. the result of this is a special kind of associations between values and is represented in fuzzy networks. Such a network is used to relax queries and to relate objects in the database. the network exploit the database, in the sense that it is obtained by pure statistical means from mining the database for associations between domain values. It is a special variant of a projection of, or a orthogonal view on, data in the database. the approach described here has been implemented and applied in an experiment on a "real-world" library database. In this application associations are modeled between keywords used in librarians descriptions of books in the database. Examples and conclusions are partly based on the results of this experiment. © Springer-Verlag Berlin Heidelberg 1997.

关键词： Query languages

来源：评论

学校读者我要写书评

暂无评论

Exploiting conjunctive queries in description logic programs

引用

ANNALS OF MAthEMATICS AND ARTIFICIAL INTELLIGENCE 2008年第1-4期53卷 115-152页

作者： Eiter, thomas Ianni, Giovambattista Krennwallner, thomas Schindlauer, Roman Vienna Univ Technol Inst Informat Syst 184 3 A-1040 Vienna Austria Univ Calabria Dipartimento Matemat I-87036 Arcavacata Di Rende CS Italy

Towards combining rules and ontologies for the Semantic Web, nonmonotonic Description Logic Programs (dl-programs) have been proposed as a powerful formalism to couple nonmonotonic logic programming and Description Logic reasoning on a clear semantic basis. In this paper, we present cq-programs, which enhance dl-programs with conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics knowledge bases, as well as with disjunctive rules. the novel formalism has two advantages. First, it offers increased expressivity because it allows for (U)CQs in the bodies of the rules. the (U)CQs allow one to access unnamed individuals in the rules and they increase the expressivity of the formalism, as evident from the increase in complexity from NEXP to 2-EXP. And second, when implemented as a combination between a logic programming system and a DL-reasoner, this integration of rules and ontologies gives rise to strategies for optimizing calls to the DL-reasoner, by exploiting specific support for (U)CQs. To this end, we present equivalence preserving transformations which can be used for program rewriting, and we present respective generic rewriting algorithms. Experimental results for a cq-program prototype show that this can lead to significant performance improvements, and suggest that cq-programs and program rewriting provide a useful basis for dl- and cq-program optimization.

关键词： Hybrid rule languages Conjunctive queries and description logics Answer set programming Semantic web

来源：评论

学校读者我要写书评

暂无评论

Systematic Literature Review of Methods for Maintaining Data Integrity 10th

Systematic Literature Review of Methods for Maintaining Data...

引用

10th international Conference on New Trends in Model and Data Engineering, MEDI 2021 held with 4th international Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2021, symposium on Intelligent and Autonomous Systems, SIAS 2021, 1st Workshop on Control Software: Methods, Models, and languages, CSMML 2021, Workshop on Blockchain for Inter-Organizational Collaboration, BIOC 2021 and 1st international Health Data Workshop, HEDA 2021

作者： Kask, Marten Piho, Gunnar Ross, Peeter Tallinn University of Technology Tallinn Estonia

ISBN: (纸本)9783030876562

Diverse data is collected in health care for secondary usage. However, this data is collected by various parties and processed by numerous information systems. Hence, to get reliable results, the data integrity must be maintained. this paper aims to discover applications that are introduced to ensure the integrity of the data collected in different fields including the medical field. the Systematic Literature Review method is used in this research to map the appropriate methods for future studies. © 2021, Springer Nature Switzerland AG.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

EML3D: An XML Based Markup Language for 3D Object Manipulation in Second Life

EML3D: An XML Based Markup Language for 3D Object Manipulati...

引用

10th international symposium on Smart Graphics

作者： Nakasone, Arturo Prendinger, Helmut Natl Inst Informat Chiyoda Ku Tokyo 1018430 Japan

ISBN: (纸本)9783642021145

Recently, virtual worlds like "Second Life" have received a lot of attention not only as environments that, promote social interaction, but also as media in which scientific research can be performed effectively. In this latter aspect, they offer several advantages over traditional 3D visual applications, such as the capacity of supporting true collaborative endeavors in which real people, through the use of graphical avatars, can simultaneously discuss and analyze data, thereby enhancing their collaborative experience. Unfortunately, processing capabilities of current virtual worlds are limited when trying to visualize this data as 3D objects. External applications to solve this problem have been developed, but their functionality is obscure and they require good understanding in programming languages. To overcome these inconveniences for common users, we have developed EML3D (Environment Markup Language 3D), a markup language that provides a tool to manipulate virtual objects in Second Life in an easy and stable way.

关键词： Markup languages

来源：评论

学校读者我要写书评

暂无评论

programming real-time image processing for manycores in a high-level language

Programming real-time image processing for manycores in a hi...

引用

10th international symposium on Advanced Parallel Processing Technologies, APPT 2013

作者： Gebrewahid, Essayas Zain-Ul-Abdin Svensson, Bertil Gaspes, Veronica Jego, Bruno Lavigueur, Bruno Robart, Mathieu Center for Research on Embedded Systems Halmstad University Halmstad Sweden STMicroelectronics - Advanced System Technology Grenoble France STMicroelectronics - Advanced System Technology Bristol United Kingdom

ISBN: (纸本)9783642452925

Manycore architectures are gaining attention as a means to meet the performance and power demands of high-performance embedded systems. However, their widespread adoption is sometimes constrained by the need for mastering proprietary programming languages that are low-level and hinder portability. We propose the use of the concurrent programming language occam-pi as a high-level language for programming an emerging class of manycore architectures. We show how to map occam-pi programs to the manycore architecture Platform 2012 (P2012). We describe the techniques used to translate the salient features of the language to the native programming model of the P2012. We present the results from a case study on a representative algorithm in the domain of real-time image processing: a complex algorithm for corner detection called Features from Accelerated Segment Test (FAST). Our results show that the occam-pi program is much shorter, is easier to adapt and has a competitive performance when compared to versions programmed in the native programming model of P2012 and in OpenCL. © 2013 Springer-Verlag.

关键词： High level languages

来源：评论

学校读者我要写书评

暂无评论

Automated Technology for Verification and Analysis 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Supratik Chakraborty Madhavan Mukund

ISBN: (数字)9783642333866

ISBN: (纸本)9783642333859

this book constitutes the thoroughly refereed proceedings of the 10th international symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at thiruvananthapuram, Kerala, India, in October 2012. the 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.

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

来源：评论

学校读者我要写书评

暂无评论

First-order logic definability of free languages 10th

引用

10th international Computer Science symposium in Russia, CSR 2015

作者： Lonati, Violetta Mandrioli, Dino Panella, Federica Pradella, Matteo DI - Università Degli Studi di Milano Milan Italy DEIB - Politecnico di Milano Milan Italy

ISBN: (纸本)9783319202969

Operator Precedence Grammars (OPGs) define a deterministic class of context-free languages, which extend input-driven languages and still enjoy many properties: they are closed w.r.t. Boolean operations, concatenation and Kleene star;the emptiness problem is decidable;they are recognized by a suitable model of pushdown automaton;they can be characterized in terms of a monadic second-order logic. Also, they admit efficient parallel parsing. In this paper we introduce a subclass of OPGs, namely Free Grammars (FrGs);we prove some of its basic properties, and that, for each such grammar G, a first-order logic formula ψ can effectively be built so that L(G) is the set of all and only strings satisfying ψ. FrGs were originally introduced for grammatical inference of programming languages. Our result can naturally boost their applicability;to this end, a tool is made freely available for the semiautomatic construction of FrGs. © Springer international Publishing Switzerland 2015.

关键词： Context free languages

来源：评论

学校读者我要写书评

暂无评论

DCGs + Memoing = Packrat parsing but is it worth it?

DCGs + Memoing = Packrat parsing but is it worth it?

引用

10th international symposium on Practical Aspects of Declarative languages, PADL 2008

作者： Becket, Ralph Somogyi, Zoltan NICTA Department of Computer Science and Software Engineering University of Melbourne 111 Barry Street Parkville VIC 3010 Australia

ISBN: (纸本)3540774416

Packrat parsing is a newly popular technique for efficiently implementing recursive descent parsers. Packrat parsing avoids the potential exponential costs of recursive descent parsing with backtracking by ensuring that each production rule in the grammar is tested at most once against each position in the input stream. this paper argues that (a) packrat parsers can be trivially implemented using a combination of definite clause grammar rules and memoing, and that (b) packrat parsing may actually be significantly less efficient than plain recursive descent with backtracking, but (c) memoing the recognizers of just one or two nonterminals, selected in accordance with Amdahl's law, can sometimes yield speedups. We present experimental evidence to support these claims. © Springer-Verlag Berlin Heidelberg 2008.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Fixing Classification: A Viewpoint-Based Approach 10th

Fixing Classification: A Viewpoint-Based Approach

引用

10th international symposium on Leveraging Applications of Formal Methods, ISoLA 2021

作者： Selić, Bran Pierantonio, Alfonso Malina Software Corp. Ottawa Canada Monash University Melbourne Australia Università degli Studi dell’Aquila L’Aquila Italy

ISBN: (纸本)9783030891589

the concept of classification as realized in most traditional object-oriented computer languages has certain limitations that may inhibit its application to modeling more complex phenomena. this is likely to prove problematic as modern software becomes increasingly more integrated with the highly dynamic physical world. In this paper, we first provide a detailed description of these limitations, followed by an outline of a novel approach to classification designed to overcome them. the proposed approach replaces the static multiple-inheritance hierarchy approach found in many object-oriented languages with multiple dynamic class hierarchies each based on different classification criteria. Furthermore, to better deal with ambiguous classification schemes, it supports potentially overlapping class membership within any given scheme. Also included is a brief overview of how this approach could be realized in the design of advanced computer languages. © 2021, Springer Nature Switzerland AG.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Partial precedence of context-sensitive graph grammars 17

Partial precedence of context-sensitive graph grammars

引用

10th international symposium on Visual Information Communication and Interaction, VINCI 2017

作者： Zou, Yang Zeng, Xiaoqin Liu, Yufeng Liu, Huiyi College of Computer and Information Hohai University Nanjing China

ISBN: (纸本)9781450352925

Context-sensitive graph grammars have been rigorous formalisms for specifying visual programming languages, as they possess sufficient expressive powers and intuitive forms. Efficient parsing mechanisms are essential to these formalisms. However, the existent parsing algorithms are either inefficient or confined to a minority of graph grammars. this paper introduces the notion of partial precedence, defines the partial precedence graph of a graph grammar and theoretically unveils the existence of a valid parsing path conforming to the topological orderings of the partial precedence graph. then, it provides algorithms for computing the partial precedence graph and presents an approach to improving general parsing algorithms with the graph based on the drawn conclusion. It is shown that the approach can considerably improve the efficiency of general parsing algorithms. © 2017 Association of Computing Machinery.

关键词： Visual languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：