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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

168 篇 会议
14 册 图书
10 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

120 篇 工学
- 103 篇 计算机科学与技术...
- 90 篇 软件工程
- 8 篇 电气工程
- 7 篇 信息与通信工程
- 3 篇 冶金工程
- 2 篇 力学（可授工学、理...
- 2 篇 材料科学与工程（可...
- 2 篇 控制科学与工程
- 2 篇 建筑学
- 2 篇 土木工程
- 2 篇 交通运输工程
- 1 篇 矿业工程
- 1 篇 生物工程
18 篇 理学
- 16 篇 数学
- 2 篇 物理学
- 2 篇 统计学（可授理学、...
- 1 篇 生物学
18 篇 管理学
- 10 篇 图书情报与档案管...
- 9 篇 管理科学与工程(可...
- 2 篇 工商管理
1 篇 教育学
- 1 篇 教育学

主题

15 篇 programming
13 篇 software enginee...
13 篇 computer languag...
11 篇 languages
10 篇 query languages
10 篇 computer program...
9 篇 database languag...
9 篇 programming tech...
8 篇 computer science
8 篇 logic programmin...
8 篇 programming lang...
7 篇 programming prof...
7 篇 application soft...
7 篇 mathematical log...
7 篇 databases
7 篇 artificial intel...
6 篇 object oriented ...
6 篇 concurrent compu...
6 篇 xml
6 篇 parallel program...

机构

4 篇 univ edinburgh e...
2 篇 transnct univ li...
2 篇 univ colorado bo...
2 篇 transnat univ li...
2 篇 hasselt univ has...
2 篇 univ oslo oslo
2 篇 ibm corp tj wats...
2 篇 univ mons b-7000...
2 篇 tu dortmund univ...
2 篇 univ koblenz lan...
2 篇 university of ok...
1 篇 computing depart...
1 篇 department of co...
1 篇 polytech inst po...
1 篇 univ oslo dept i...
1 篇 poznan univ life...
1 篇 the hong kong an...
1 篇 xerox research c...
1 篇 riken aics wako ...
1 篇 school of comput...

作者

4 篇 steffen bernhard
3 篇 van den bussche ...
2 篇 peshansky igor
2 篇 procter adam
2 篇 gelade wouter
2 篇 krumrey marco
2 篇 page rex
2 篇 horváth zoltán
2 篇 allwein gerard
2 篇 zsók viktória
2 篇 smyth steven
2 篇 bosselmann steve
2 篇 neven frank
2 篇 becchi michela
2 篇 harrison william...
2 篇 anon
2 篇 graves ian
2 篇 laemmel ralf
2 篇 wijsen jef
2 篇 reichenbach chri...

语言

188 篇 英文
4 篇 其他

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

共 192 条记录，以下是51-60 订阅

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

详细简洁

排序：

Knowledge management in the SAREL system 11

Knowledge management in the SAREL system

引用

11th international Workshop on database and Expert Systems Applications

作者： Castell, N Hernández, A Univ Politecn Catalunya TALP Res Ctr ES-08034 Barcelona Spain

ISBN: (纸本)0769506801

the specification phase is one of the most important and least supported parts of the software development process. SAREL (Assistance System for Writing Software Specifications in Natural Language) has been conceived as a knowledge-based tool to improve the specification phase. the purpose of SAREL is to assist engineers in the creation of software specifications written in Natural Language (NL). the aim of this paper is to present the creation process of the Knowledge Base and the Requirements Base corresponding to a software specification written in NL. this process uses some linguistic engineering tools developed in our department for the pre-processing of the input documents. SAREL is designed to process documents that contain preliminary software specifications. these documents are divided into several parts. We can distinguish the Introduction and the Overall Description as parts that should be used in the Knowledge Base construction. Up to a certain point, these two parts contain all the background information needed to understand the problem as a whole. the information contained in the specific Requirements Section corresponds to the information represented bl the Requirements Base.

关键词： Control systems Documentation Knowledge engineering Knowledge management Natural languages Process design programming Software engineering Software quality Writing

来源：评论

学校读者我要写书评

暂无评论

Prediction of Iron Ore Sinter Strength Using Statistical Technique 11th

Prediction of Iron Ore Sinter Strength Using Statistical Tec...

引用

11th international symposium on High-Temperature Metallurgical Processing

作者： Liu, Zhongci Zhou, Xuangeng Li, Gang Wu, Shanshan Lv, Xuewei Chongqing Univ Coll Mat Sci & Engn Chongqing 400044 Peoples R China

ISBN: (纸本)9783030365400;9783030365394

Sinter is the main iron-containing raw material for blast furnaces. As iron ore resources are gradually depleted, the types of raw materials for sinter are complicated, so their chemical composition often changes. At present, the common method for studying the sintering performance of iron ore is the sintering pot test. this method is cumbersome and needs a long process time, and it is impossible to recognize the rapid reaction change of the raw material. therefore, a prediction model was established by building a sintering experimental database and using statistical analysis methods such as correlation, regression and sequence quadratic programming analysis to analyze the relationship between the chemical composition and the tumbler strength of sinter, so as to simplify the sintering blending technology. the regression coefficient of the model is 0.803, indicating that the model has good prediction potential for sinter strength.

关键词： Sinter strength Sequence quadratic programming Prediction model

来源：评论

学校读者我要写书评

暂无评论

Recycle Your Arrays!

引用

11th international symposium on Practical Aspects of Declarative languages

作者： Leshchinskiy, Roman Univ New S Wales Sch Engn & Comp Sci Sydney NSW 2052 Australia

ISBN: (纸本)9783540929949

Purely functional arrays are notoriously difficult to implement and use efficiently due to the absence of destructive updates and the resultant frequent copying. Deforestation frameworks such as stream fusion achieve signficant improvements here but fail for a number of important operations which can nevertheless benefit from elimination of temporaries. To mitigate this problem, we extend stream fusion with support for in-place execution of array operations. this optimisation, which we call recycling, is easy to implement and can significantly reduce array allocation and copying in purely functional array algorithms.

关键词： Deforestation Optimisation Array programming Functional programming

来源：评论

学校读者我要写书评

暂无评论

Object-oriented programming with Gradual Abstraction

Object-oriented Programming with Gradual Abstraction

引用

11th international Conference on Generative programming and Component Engineering8th symposium on Dynamic languages

作者： Normark, Kurt thomsen, Lone Leth thomsen, Bent Aalborg Univ Dept Comp Sci Aalborg Denmark

We describe an experimental object-oriented programming language, ASL2, that supports program development by means of a series of abstraction steps. the language allows immediate object construction, and it is possible to use the constructed objects for concrete problem solving tasks. Classes and class hierarchies can be derived from the objects - via gradual abstraction steps. We introduce two levels of object classification, called weak and strong object classification. Strong object classification relies on conventional classes, whereas weak object classification is looser, and less restrictive. As a central mechanism, weakly classified objects are allowed to borrow methods from each other. ASL2 supports class generalization, as a counterpart to class specialization and inheritance in mainstream object-oriented programming languages. the final abstraction step discussed in this paper is a syntactical abstraction step that derives a source file with a syntactical class form.

关键词： languages Design Experimentation ASL2 objects before classes weak and strong classification of objects abstraction steps Scheme

来源：评论

学校读者我要写书评

暂无评论

RBE - RENDERING BY EXAMPLE

RBE - RENDERING BY EXAMPLE

引用

11th international Conference on Data Engineering

作者： KRISHNAMURthY, R ZLOOF, M HEWLETT PACKARD CORP PALO ALTOCA 94304

ISBN: (纸本)0818669101

Rendering is defined to be a customized presentation of data in such a way that allows users to subsequently interact with the presented data. Traditionally such a user interface would be a custom application written using conventional programming languages;in contrast we propose an application-independent, declarative (i.e., what-you-want) language that we call Rendering By Example, RBE, with the capability to specify a wide variety of renderings. RBE is a domain calculus language over user interface widgets. Most previous domain calculus database languages (e.g., QBE, LDL, Datalog) mainly addressed the data processing problem. the main contribution in developing RBE is to model semantics of user interactions in a declarative way. this declarative specification not only allows quick and ad-hoc specification of renderings (i.e., user interfaces) but also provides a framework to understand renderings as an abstract concept, independent of the application. Further, such a linguistic abstraction provides the basis for user-interface research. RBE is part of the ICBE language that is being prototyped in the Picture programming project at HP Labs.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

A type safe DOM API

A type safe DOM API

引用

10th international symposium on database programming languages

作者： thiemann, P Univ Freiburg D-7800 Freiburg Germany

ISBN: (纸本)3540309519

DOM (Document Object Model) is the W3C recommendation for an API for manipulating XML documents. the API is stated in terms of a language neutral IDL with normative bindings given for Java and ECMAScript. the type system underlying the DOM API is a simple object-based one which relies entirely on interfaces and interface extension. However, this simplicity is deceiving because the DOM architects implicitly impose a large number of constraints which are only stated informally. the long list of exceptions that some DOM methods may raise witnesses these constraints. the present work defines a refinement of Java's type system which makes most of these constraints accessible and thus checkable to the compiler. Technically, we graft a polymorphic annotation system on top of the host language's types and propagate the annotations using ideas borrowed from affine type systems. We provide a type soundness proof with respect to an operational semantics of a Java core language.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

ISPA 2019 - 11th international symposium on Image and Signal Processing and Analysis

ISPA 2019 - 11th International Symposium on Image and Signal...

引用

11th international symposium on Image and Signal Processing and Analysis, ISPA 2019

ISBN: (纸本)9781728131405

the proceedings contain 65 papers. the topics discussed include: design of nonlinear-phase fir-filters based on signomial programming;vehicle pose estimation via regression of semantic points of interest;implementing sparse estimation: cyclic coordinate descent vs linearized Bregman iterations;on the angles of change of the neighborhood motion maps on the triangular grid;MMOD-COG: a database for multimodal cognitive load classification;and underwater color restoration using U-net denoising autoencoder.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Declarative programming of User Interfaces

引用

11th international symposium on Practical Aspects of Declarative languages

作者： Hanus, Michael Kluss, Christof CAU Kiel Inst Informat D-24098 Kiel Germany

ISBN: (纸本)9783540929949

this paper proposes a declarative description of user interfaces that abstracts from low-level implementation details. In particular, the user interfaces specified in our framework are executable as graphical user interfaces for desktop applications as well as web user interfaces via standard web browsers. thus, our approach combines the advantages of existing user interface technologies in a flexible way without demands on the programmer's side. We sketch an implementation of this concept in the declarative multi-paradigm programming language Curry and show how the integrated functional and logic features of Curry are exploited to enable a high-level implementation of this concept.

关键词： Web browsers

来源：评论

学校读者我要写书评

暂无评论

On the consistent rewriting of conjunctive queries under primary key constraints

引用

11th international symposium on database programming languages

作者： Wijsen, Jef Univ Mons B-7000 Mons Belgium

ISBN: (纸本)9783540759867

this article deals with the computation of consistent answers to queries on relational databases that violate primary key constraints. A repair of such inconsistent database is obtained by selecting a maximal number of tuples from each relation without ever selecting two distinct tuples that agree on the primary key. We are interested in the following problem: Given a Boolean conjunctive query q, compute a Boolean first-order (FO) query psi such that for every database db, psi evaluates to true on db if and only if q evaluates to true on every repair of db. Such psi is called a consistent FO rewriting of q. We use novel techniques to characterize classes of queries that have a consistent FO rewriting. In this way, we are able to extend previously known classes and discover new ones. Finally, we use an Ehrenfeucht-Fraisse game to show the non-existence of a consistent FO rewriting for there exists x there exists y(R((x) under bar, y) boolean AND R((y) under bar, c)), where c is a constant and the first coordinate of R is the primary key. (C) 2009 Elsevier B.V. All rights reserved.

关键词： Certain query answering Consistent query answering database repairing

来源：评论

学校读者我要写书评

暂无评论

Practical Aspects of Declarative languages - 11th international symposium, PADL 2009, Proceedings

引用

11th international symposium on Practical Aspects of Declarative languages, PADL 2009

ISBN: (纸本)3540929940

the proceedings contain 19 papers. the topics discussed include: on preferring and inspecting abductive models;declarative programming of user interfaces;huge data but small programs: visualization design via multiple embedded DSLs;declarative network verification;operational semantics for declarative networking;ad hoc data and the token ambiguity problem;high level thread-based competitive or-parallelism in logtalk;implementing thread cancellation in multithreaded prolog systems;interoperating logic engines;high-level interaction with relational databases in logic programming;typed datalog;using bloom filters for large scale gene sequence analysis in Haskell;one table fits all;towards a complete scheme for tabled execution based on program transformation;improving performance of conformant planners: static analysis of declarative planning domain specifications;and secure implementation of meta-predicates.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共20页 << < 2 3 4 5 6 7 8 9 10 11 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：