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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是81-90 订阅

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

详细简洁

排序：

Models in Software Engineering 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540690733

ISBN: (纸本)9783540690696

this book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held as satellite events of the 10th international Conference on Model Driven Engineering languages and Systems, MoDELS 2007, in Nashville, TN, USA, in September/October 2007 (see LNCS 4735). the 29 revised full papers were carefully selected for inclusion in the book and are presented along with a doctoral and an educators' symposium section. the papers are organized in topical sections representing the various workshops: aspect-oriented modeling (AOM 2007), language engineering (ATEM2007), model driven development of advanced user interfaces (MDDAUI 2007), model size metrics (MSM 2007), model-based design of trustworthy health information systems (MOthIS 2007), model-driven engineering, verification and validation (MoDeVVa 2007), modelling systems with OCL (Ocl4All 2007), Models@***, multi-paradigm modeling: concepts and tools (MPM 2007), quality in modeling, doctoral symposium, and educators' symposium.

关键词： Software Engineering/programming and Operating Systems programming languages, Compilers, Interpreters Simulation and Modeling Software Engineering Management of Computing and Information Systems

来源：评论

学校读者我要写书评

暂无评论

Detecting unsolvable queries for definite logic programs 10th

Detecting unsolvable queries for definite logic programs

引用

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

作者： Bruynooghe, Maurice Vandecasteele, Henk de Waal, da Andre Denecker, Marc Departement Computerwetenschappen Katholieke Universiteit Leuven Celestijnenlaan 200A HeverleeB-3001 Belgium Centre for Business Mathematics and Informatics Potchefstroom University for Christian Higher Education South Africa

ISBN: (纸本)3540650121

In logic programming, almost no work has been done so far on proving that certain queries cannot succeed. Work in this direction could be useful for queries which seem to be non-terminating. Such queries are not exceptional, e.g. in planning problems. the paper develops some methods, based on abduction, goal-directedness, tabulation, and constraint techniques, for proving failure of queries for definite logic programs. It also reports some experiments with various tools. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Specialising simulator generators for high-performance Monte-Carlo methods

Specialising simulator generators for high-performance Monte...

引用

10th international symposium on Practical Aspects of Declarative languages

作者： Keller, Gabriele Chaffey-Millar, Hugh Chakravarty, Manuel M. T. Stewart, Don Barner-Kowollik, Christopher Univ New South Wales Sch Engn & Comp Sci Promming Languages & Syst Sydney NSW 2052 Australia Univ New South Wales Ctr Adv Macromolecular Design Sydney NSW 2052 Australia

ISBN: (纸本)9783540774419

We address the tension between software generality and performance in the domain of simulations based on Monte-Carlo methods. We simultaneously achieve generality and high performance by a novel development methodology and software architecture centred around the concept of a specialising simulator generator. Our approach combines and extends methods from functional programming, generative programming, partial evaluation, and runtime code generation. We also show how to generate parallelised simulators. We evaluated our approach by implementing a simulator for advanced forms of polymerisation kinetics. We achieved unprecedented performance, making Monte-Carlo methods practically useful in an area that was previously dominated by deterministic PDE solvers. this is of high practical relevance, as Monte-Carlo simulations can provide detailed microscopic information that cannot be obtained with deterministic solvers.

关键词： Software architecture

来源：评论

学校读者我要写书评

暂无评论

Computational Logic — CL 2000 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： John Lloyd Veronica Dahl Ulrich Furbach Manfred Kerber Kung-Kiu Lau Catuscia Palamidessi Luís Moniz Pereira Yehoshua Sagiv Peter J. Stuckey

ISBN: (数字)9783540449577

ISBN: (纸本)9783540677970

these are the proceedings of the First international Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. the theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. the conference was collocated with the following events: { 6th international Conference on Rules and Objects in databases (DOOD 2000) { 10th international Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th international Conference on Inductive Logic programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic programming: theory and Extensions { Constraints { Automated Deduction: Putting theory into Practice { Knowledge Representation and Non-monotonic Reasoning { database Systems (DOOD 2000) { Logic programming: Implementations and Applications. the LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. the acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.

关键词： Artificial Intelligence Software Engineering/programming and Operating Systems Computer System Implementation Mathematical Logic and Formal languages Logics and Meanings of Programs programming Techniques

来源：评论

学校读者我要写书评

暂无评论

the Complexity of Inferences and Explanations in Probabilistic Logic programming 14th

The Complexity of Inferences and Explanations in Probabilist...

引用

14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) / 10th international symposium on Imprecise Probability - theories and Applications (ISIPTA)

作者： Cozman, Fabio G. Maua, Denis D. Univ Sao Paulo Escola Politecn Sao Paulo Brazil Univ Sao Paulo Inst Matemat & Estat Sao Paulo Brazil

ISBN: (纸本)9783319615813;9783319615806

A popular family of probabilistic logic programming languages combines logic programs with independent probabilistic facts. We study the complexity of marginal inference, most probable explanations, and maximum a posteriori calculations for propositional/relational probabilistic logic programs that are acyclic/definite/stratified/normal/disjunctive. We show that complexity classes Sigma(k) and PP Sigma k (for various values of k) and NPPP are all reached by such computations.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

A heuristic query optimization approach for heterogeneous environments 10

A heuristic query optimization approach for heterogeneous en...

引用

10th IEEE/ACM international symposium on Cluster, Cloud, and Grid Computing, CCGrid 2010

作者： Beran, Peter Paul Mach, Werner Vigne, Ralph Mangler, Jürgen Schikuta, Erich Department of Knowledge and Business Engineering University of Vienna Rathausstr. 19/9 A-1010 Vienna Austria

ISBN: (纸本)9781424469871

In a rapidly growing digital world the ability to discover, query and access data efficiently is one of the major challenges we are struggling today. Google has done a tremendous job by enabling casual users to easily and efficiently search for Web documents of interest. However, a comparable mechanism to query data stocks located in distributed databases is not available yet. therefore our research focuses on the query optimization of distributed database queries, considering a huge variety on different infrastructures and algorithms. this paper introduces a novel heuristic query optimization approach based on a multi-layered blackboard mechanism. Moreover, a short evaluation scenario proofs our investigations that even small changes in the structure of a query execution tree (QET) can lead to significant performance improvements. © 2010 IEEE.

关键词： Query languages

来源：评论

学校读者我要写书评

暂无评论

A game semantics foundation for logic programming 10th

A game semantics foundation for logic programming

引用

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

作者： di Cosmo, Roberto Loddo, Jean-Vincent Nicolet, Stephane DMI-LIENS Ecole Normale Supérieure 45 Rue d’Ulm Paris75005 France

ISBN: (纸本)3540650121

We introduce a semantics of Logic programming based on an classical Game theory, which is proven to be sound and complete w.r.t. the traditional operational semantics and Negation as Failure. this game semantics is based on an abstract reformulation of classical results about two player games, and allows a very simple characterization of the solution set of a logic program in terms of approximations of the value of the game associated to it, which can also be used to capture in a very simple way the traditional "negation as failure" extensions. this approach to semantics also opens the way to a better understanding of the mechanisms at work in parallel implementations of logic programs and in the operational semantics of logic programs with negative goals. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Minimum and maximum predicates in logic programming 91

Minimum and maximum predicates in logic programming

引用

10th ACM SIGACT-SIGMOD-SIGART symposium on Principles of database Systems, PODS 1991

作者： Ganguly, Sumit Greco, Sergio Zaniolo, Carlo Department of Computer Science University of Texas at Austin AustinTX78712 United States Dipartimento di Sistemi Università' della Calabria Rende87030 Italy MCC Balcones Center Drive 3500 AustinTX78759 United States

ISBN: (纸本)0897914309

A novel approach is proposed for expressing and computing efficiently a large class of problems, including finding the shortest path in a graph, that were previously considered impervious to an efficient treatment in the declarative framework of logic-based languages. Our approach is based on the use of min and max predicates having a first-order semantics defined using rules with negation in their bodies. We show that when certain monotonicity conditions hold then (1) there exists a total well-founded model for these programs containing negation, (2) this model can be computed efficiently using a procedure called greedy iixpoint, and (3) the original program can be rewritten into a more efficient one by pushing min and max predicates into recursion. the greedy fixpoint evaluation of the program expressing the shortest path problem coincides with Dijkstra's algorithm. © 1991 ACM.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

the design space of type checkers for XML transformation languages

引用

10th international Conference on database theory, ICDT 2005

作者： Møller, Anders Schwartzbach, Michael I. BRICS University of Aarhus Denmark

ISBN: (纸本)3540242880

We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. the concept of type may vary from idealizations of DTD to full-blown XML Schema or even more expressive formalisms. the notion of transformation may vary from clean and simple transductions to domain-specific languages or integration of XML in general-purpose programming languages. Type annotations can be either explicit or implicit, and type checking ranges from exact decidability to pragmatic approximations. We characterize and evaluate existing tools in this design space, including a recent result of the authors providing practical type checking of full unannotated XSLT 1.0 stylesheets given general DTDs that describe the input and output languages. © 2005 Springer-Verlag.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

Human motion retrieval based on feedback learning

Human motion retrieval based on feedback learning

引用

10th international symposium on Computational Intelligence and Design (ISCID)

作者： Xiao, Qinkun Zhao, Yidan Li, Kin Fun Xian Technol Univ Dept Elect Informat Engn Xian 710032 Shaanxi Peoples R China Univ Victoria Elect & Comp Engn Victoria BC V8W 2Y2 Canada

ISBN: (纸本)9781538636749

A novel content-based feedback learning motion retrieval approach is presented. the approach includes two primary stages. (1) In the learning stage, fuzzy clustering is first utilized to get the representative frames of motions, and the body gesture features are extracted to build a motion feature database. (2) In the motion retrieval stage, the query motion feature is extracted according to stage (1). Similarity measurements are then conducted by employing a novel method that combines Manhattan distance dynamic programming (MDP) and support vector machine (SVM) feedback learning. the retrieval results are ranked according to the feedback learning values. the effectiveness of the proposed method is verified experimentally.

关键词： Motion retrieval Manhattan distance dynamic programming SVM feedback learning

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共19页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：