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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

166 篇 会议
15 册 图书
5 篇 期刊文献

馆藏范围

186 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

129 篇 工学
- 119 篇 计算机科学与技术...
- 85 篇 软件工程
- 5 篇 电气工程
- 5 篇 信息与通信工程
- 5 篇 控制科学与工程
- 4 篇 电子科学与技术（可...
- 2 篇 农业工程
- 2 篇 生物医学工程（可授...
- 1 篇 机械工程
- 1 篇 光学工程
- 1 篇 仪器科学与技术
- 1 篇 矿业工程
- 1 篇 石油与天然气工程
- 1 篇 生物工程
- 1 篇 网络空间安全
22 篇 理学
- 16 篇 数学
- 3 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 物理学
- 1 篇 化学
- 1 篇 生物学
15 篇 管理学
- 8 篇 图书情报与档案管...
- 5 篇 管理科学与工程(可...
- 4 篇 工商管理
- 1 篇 公共管理
2 篇 农学
- 2 篇 作物学
1 篇 经济学
- 1 篇 应用经济学
1 篇 法学
- 1 篇 社会学
1 篇 教育学
- 1 篇 教育学
1 篇 医学
- 1 篇 护理学（可授医学、...

主题

18 篇 computer languag...
12 篇 database languag...
12 篇 query languages
10 篇 logic programmin...
9 篇 database systems
9 篇 software enginee...
9 篇 artificial intel...
9 篇 functional progr...
8 篇 parallel program...
8 篇 computer program...
7 篇 xml
7 篇 programming lang...
6 篇 computer science
6 篇 software enginee...
6 篇 mathematical log...
6 篇 costs
6 篇 semantics
6 篇 computer program...
6 篇 relational datab...
6 篇 logics and meani...

机构

2 篇 univ valladolid ...
2 篇 carleton univ sc...
2 篇 imdea software
2 篇 department of co...
2 篇 tallinn universi...
2 篇 univ aarhus dept...
2 篇 univ calabria di...
2 篇 vienna univ tech...
1 篇 philipps univ ma...
1 篇 xian technol uni...
1 篇 ibm corp almaden...
1 篇 mechanical engin...
1 篇 university paris...
1 篇 department of in...
1 篇 epfl
1 篇 univ nottingham ...
1 篇 dept. of informa...
1 篇 university of te...
1 篇 department of co...
1 篇 the pennsylvania...

作者

3 篇 schwartzbach mic...
2 篇 bertossi leopold...
2 篇 chakravarty manu...
2 篇 zhao yidan
2 篇 krennwallner tho...
2 篇 moreton-fernande...
2 篇 van gucht dirk
2 篇 gonzalez-escriba...
2 篇 cozman fabio g.
2 篇 carro manuel
2 篇 eiter thomas
2 篇 moller anders
2 篇 ianni giovambatt...
2 篇 steffen bernhard
2 篇 xiao qinkun
2 篇 li kin fun
2 篇 schindlauer roma...
2 篇 brabrand claus
2 篇 hanus michael
2 篇 keller gabriele

语言

183 篇 英文
2 篇 其他
1 篇 中文

检索条件"任意字段=10th International Symposium on Database Programming Languages"

共 186 条记录，以下是101-110 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

A generic programming toolkit for PADS/ML: First-class upgrades for third-party developers

A generic programming toolkit for PADS/ML: First-class upgra...

引用

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

作者： Fernández, Mary Fisher, Kathleen Nathan Foster, J. Greenberg, Michael Mandelbaum, Yitzhak AT and T Research University of Pennsylvania

ISBN: (纸本)3540774416

Domain-specific languages facilitate solving problems in a targeted domain by providing features particular to the domain. Declarative domain-specific languages have the additional benefit that users specify what something means rather than how to do something. As a result, the language compiler is free to choose the best implementation strategies and to generate multiple artifacts from a single description. PADS/ML is a declarative data description language designed to facilitate ad hoc data management. From a single description, the compiler generates a myriad of artifacts, including data structures for the in-memory representation of the data and parsers and printers. In this paper, we describe a new generic programming infrastructure for PADS/ML that allows third-party developers to define additional useful artifacts without modifying the compiler. We report on two case studies that use this infrastructure. In the first, we build a version of PADX for PADS/ML, allowing any data source with a PADS/ML description to be queried as if it were XML. In the second, we extend Harmony with the ability to synchronize any data with a PADS/ML description. © Springer-Verlag Berlin Heidelberg 2008.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Intelligent query answering with contextual knowledge for relational databases 10

Intelligent query answering with contextual knowledge for re...

引用

10th symposium on languages, Applications and Technologies, SLATE 2021

作者： Seipel, Dietmar Weidner, Daniel Abreu, Salvador Department of Computer Science Universität Würzburg Germany Nova-Lincs University of Évora Portugal

ISBN: (纸本)9783959772020

We are proposing a keyword-based query interface for knowledge bases - including relational or deductive databases - based on contextual background knowledge such as suitable join conditions or synonyms. Join conditions could be extracted from existing referential integrity (foreign key) constaints of the database schema. they could also be learned from other, previous database queries, if the database schema does not contain foreign key constraints. Given a textual representation - a word list - of a query to a relational database, one may parse the list into a structured term. the intelligent and cooperative part of our approach is to hypothesize the semantics of the word list and to find suitable links between the concepts mentioned in the query using contextual knowledge, more precisely join conditions between the database tables. We use a knowledge-based parser based on an extension of Definite Clause Grammars (Dcg) that are interweaved with calls to the database schema to suitably annotate the tokens as table names, table attributes, attribute values or relationships linking tables. Our tool DdQl yields the possible queries in a special domain specific rule language that extends Datalog, from which the user can choose one. © 2021 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. All rights reserved.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

SICStus MT—A multithreaded execution environment for SICStus Prolog 10th

SICStus MT—A multithreaded execution environment for SICStu...

引用

10th international symposium on programming languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998

作者： Eskilson, Jesper Carlsson, Mats Intelligent Systems Laboratory Swedish Institute of Computer Science Box 1263 KistaSE-164 29 Sweden

ISBN: (纸本)3540650121

the development of intelligent software agents and other complex applications which continuously interact with their environments has been one of the reasons why explicit concurrency has become a necessity in a modern Prolog system today. Such applications need to perform several tasks which may be very different with respect to how they are implemented in Prolog. Performing these tasks simultaneously is very tedious without language support. this paper describes the design, implementation and evaluation of a prototype multithreaded execution environment for SICStus Prolog. the threads are dynamically managed using a small and compact set of Prolog primitives implemented in a portable way, requiring almost no support from the underlying operating system. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共19页 << < 7 8 9 10 11 12 13 14 15 16 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：