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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

250 篇 会议
9 篇 期刊文献
5 册 图书

馆藏范围

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

日期分布

学科分类号

201 篇 工学
- 170 篇 计算机科学与技术...
- 155 篇 软件工程
- 23 篇 控制科学与工程
- 18 篇 电气工程
- 8 篇 信息与通信工程
- 4 篇 建筑学
- 4 篇 土木工程
- 2 篇 仪器科学与技术
- 2 篇 化学工程与技术
- 1 篇 材料科学与工程（可...
- 1 篇 电子科学与技术（可...
- 1 篇 测绘科学与技术
- 1 篇 生物医学工程（可授...
- 1 篇 生物工程
- 1 篇 安全科学与工程
32 篇 管理学
- 24 篇 图书情报与档案管...
- 13 篇 管理科学与工程(可...
- 6 篇 工商管理
29 篇 理学
- 22 篇 数学
- 5 篇 统计学（可授理学、...
- 3 篇 化学
- 2 篇 系统科学
- 1 篇 物理学
- 1 篇 地球物理学
- 1 篇 生物学
9 篇 教育学
- 9 篇 教育学
6 篇 医学
- 6 篇 临床医学
- 2 篇 基础医学(可授医学...
2 篇 经济学
- 2 篇 应用经济学
2 篇 法学
- 2 篇 社会学

主题

96 篇 object oriented ...
24 篇 object oriented ...
17 篇 java programming...
17 篇 object-oriented ...
16 篇 programming
15 篇 software enginee...
13 篇 java
10 篇 computer science
9 篇 software
8 篇 application soft...
8 篇 computer languag...
8 篇 unified modeling...
7 篇 software systems
7 篇 permission
6 篇 languages
6 篇 computer archite...
6 篇 aspect oriented ...
6 篇 concrete
6 篇 computer program...
5 篇 programming prof...

机构

3 篇 ibm corp thomas ...
2 篇 gannon univ comp...
2 篇 school of comput...
2 篇 infosys labs ban...
2 篇 nanjing univ sta...
2 篇 dakota state uni...
2 篇 department of co...
2 篇 ibm thomas j. wa...
2 篇 univ texas dalla...
2 篇 carleton univers...
2 篇 victoria univers...
2 篇 tokyo inst techn...
2 篇 univ bern softwa...
2 篇 thoughtworks uk ...
2 篇 department of co...
1 篇 university of ma...
1 篇 wells fargo bank...
1 篇 department of co...
1 篇 dept. of compute...
1 篇 univ london impe...

作者

5 篇 noble james
4 篇 biddle robert
3 篇 siek jeremy
3 篇 ernst michael d.
2 篇 mackinnon tim
2 篇 mezini m
2 篇 lorenz david h.
2 篇 tip f
2 篇 pryce nat
2 篇 black andrew p.
2 篇 gestwicki paul v...
2 篇 walnes joe
2 篇 melo walcelio
2 篇 freeman steve
2 篇 leavens gary t.
2 篇 chiba s
2 篇 wong w. eric
2 篇 andrew p. black
2 篇 e abreu fernando...
2 篇 drossopoulou s

语言

260 篇 英文
2 篇 其他
2 篇 中文

检索条件"任意字段=19th European Conference on Object-Oriented Programming"

共 264 条记录，以下是171-180 订阅

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

详细简洁

排序：

objective: In minimum context

引用

19th International conference on Logic programming

作者： Abreu, S Diaz, D Univ Evora Evora Portugal Univ Paris 01 F-75231 Paris 05 France

ISBN: (纸本)3540206426

the current proposals for the inclusion of modules in the ISO Prolog standard are not very consensual. Since a program-structuring feature is required for a production programming language, several alternatives have been explored over the years. In this article we recall and expand on the concepts of Contextual Logic programming, a powerful and simple mechanism which addresses the general issue of modularity in Logic Programs. We claim that unit arguments are an essential addition to this programming model, illustrate the claim with examples and draw parallels with object-oriented programming. We argue that Contextual Logic programming is an interesting and effective tool for the development of large-scale programs built upon the Contextual Logic programming paradigm and argue that contexts with arguments actually provide a powerful, expressive and very convenient means of structuring large applications upon a Prolog basis. We substantiate our claims with examples taken mostly from a "real world" application, Universidade de Evora's Academic Information System, which is currently being developed using the prototype implementation described in this article. We sketch the most relevant aspects of a new implementation of Contextual Logic programming, GNU Prolog/CX, focusing on the impact on performance of the features which were added to a regular Prolog system, highlighting the low overhead which is incurred in case these extensions are not used.

关键词： Contextual logic programming

来源：评论

学校读者我要写书评

暂无评论

Predicate-C - An efficient and generic runtime system for predicate dispatch

Predicate-C - An efficient and generic runtime system for pr...

引用

6th Workshop on the Implementation, Compilation, Optimization of object-oriented Languages, Programs and Systems, ICOOOLPS 2011 - In Conjunction with the 25th european conference on object-oriented programming, ECOOP 2011

作者： Gräter, Friedrich Götz, Sebastian Stecklina, Julian Faculty of Computer Science Technische Universität Dresden Germany

ISBN: (纸本)9781450308946

Dynamically typed languages like Ruby [19] recently gained a growing popularity due to the simplification of unforeseen software extensibility. Extensibility is typically driven by method dispatch which in turn uses the type system to classify objects. Common type systems only support type classifications attached to objects in advance of a method call. By that, the applicability of methods can be only described using existing classifications limiting the generic reuse of methods. Furthermore, it is difficult to classify objects by dynamic conditions according to their runtime state or current execution context. As an alternative, predicate dispatching allows the dispatch of methods on arbitrary predicates. Criteria for applicability are directly bound to methods enabling a flexible classification of objects. However, existing solutions for predicate dispatch suffer from co-NP-completeness. Furthermore, these solutions depend on high-level programming languages, which limits a system-wide and cross-language application of predicate dispatch. In this work, we present Predicate-C, a runtime environment that provides predicate dispatch with polynomial dispatching overhead. It is implemented as a lightweight C library that can be integrated into arbitrary runtime environments. © 2011 ACM.

关键词： C (programming language)

来源：评论

学校读者我要写书评

暂无评论

Genetic programming for Region Detection, Feature Extraction, Feature Construction and Classification in Image Data 19th

引用

19th european conference on Genetic programming (EuroGP)

作者： Lensen, Andrew Al-Sahaf, Harith Zhang, Mengjie Xue, Bing Victoria Univ Wellington Sch Engn & Comp Sci POB 600 Wellington 6140 New Zealand

ISBN: (纸本)9783319306674;9783319306681

Image analysis is a key area in the computer vision domain that has many applications. Genetic programming (GP) has been successfully applied to this area extensively, with promising results. High-level features extracted from methods such as Speeded Up Robust Features (SURF) and Histogram of oriented Gradients (HoG) are commonly used for object detection with machine learning techniques. However, GP techniques are not often used with these methods, despite being applied extensively to image analysis problems. Combining the training process of GP with the powerful features extracted by SURF or HoG has the potential to improve the performance by generating high-level, domain-tailored features. this paper proposes a new GP method that automatically detects different regions of an image, extracts HoG features from those regions, and simultaneously evolves a classifier for image classification. By extending an existing GP region selection approach to incorporate the HoG algorithm, we present a novel way of using high-level features with GP for image classification. the ability of GP to explore a large search space in an efficient manner allows all stages of the new method to be optimised simultaneously, unlike in existing approaches. the new approach is applied across a range of datasets, with promising results when compared to a variety of well-known machine learning techniques. Some high-performing GP individuals are analysed to give insight into how GP can effectively be used with high-level features for image classification.

关键词： Genetic programming Image classification Feature extraction Feature construction

来源：评论

学校读者我要写书评

暂无评论

Static deadlock detection for Java libraries

Static deadlock detection for Java libraries

引用

19th european conference on object-oriented programming, ECOOP 2005

作者： Williams, Amy thies, William Ernst, Michael D. Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge MA 02139 United States

Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in conjunction. To this end, we propose a method for static detection of deadlock in Java libraries. Our goal is to determine whether client code exists that may deadlock a library, and, if so, to enable the library writer to discover the calling patterns that can lead to deadlock. Our flow-sensitive, context-sensitive analysis determines possible deadlock configurations using a lock-order graph. this graph represents the order in which locks are acquired by the library. Cycles in the graph indicate deadlock possibilities, and our tool reports all such possibilities. We implemented our analysis and evaluated it on 18 libraries comprising 1245 kLOC. We verified 13 libraries to be free from deadlock, and found 14 distinct deadlocks in 3 libraries. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Measuring the dynamic behaviour of AspectJ programs

Measuring the dynamic behaviour of AspectJ programs

引用

19th conference on object-oriented programming, Systems, Languages, and Applications

作者： Dufour, B Goard, C Hendren, L de Moor, O Sittampalam, G Verbrugge, C McGill Univ Sch Comp Sci Montreal PQ Canada Univ Oxford Comp Lab Oxford OX1 3QD England

this paper proposes and implements a rigorous method for studying the dynamic behaviour of Aspect) programs. As part of this methodology several new metrics specific to Aspect) programs are proposed and tools for collecting the relevant metrics are presented. the major tools consist of: (1) a modified version of the Aspect) compiler that tags bytecode instructions with an indication of the cause of their generation, such as a particular feature of Aspect);and (2) a modified version of the *J dynamic metrics collection tool which is composed of a JVMPI-based trace generator and an analyzer which propagates tags and computes the proposed metrics. this dynamic propagation is essential, and thus this paper contributes not only new metrics, but also non-trivial ways of computing them. We furthermore present a set of benchmarks that exercise a wide range of AspectJ's features, and the metrics that we measured on these benchmarks. the results provide guidance to Aspect) users on how to avoid efficiency pitfalls, to Aspect) implementors on promising areas for future optimization, and to tool builders on ways to understand the runtime behaviour of Aspect).

关键词： aspect-oriented programming aspectJ dynamic metrics program analysis Java optimization performance

来源：评论

学校读者我要写书评

暂无评论

ECOOP 2006 - object-oriented programming 2006

引用

丛书名： Lecture Notes in Computer Science

2006年

作者： Dave thomas

来源：评论

学校读者我要写书评

暂无评论

ADA: Embracing technology change acceleration 19

ADA: Embracing technology change acceleration

引用

19th CIAO! Doctoral Consortium, CIAO!DC 2019, Enterprise Engineering Working conference Forum, EEWC Forum 2019 and Enterprise Engineering Working conference Posters, EEWC Posters 2019, co-located with the 9th Enterprise Engineering Working conference, EEWC 2019

作者： Dvořák, Ondřej Pergl, Robert Kroha, Petr Czech Technical University in Prague Faculty of Information Technology Czech Republic

the pace of technology change has accelerated in the past decade. Conceptually similar technologies are introduced on nearly a daily basis. On one hand, IT experts call for applying the most modern approaches and technologies to software projects, on the other, companies suffer from liabilities to a technology used in their legacy solutions. this seems to result in a disturbing situation when a specific technology of an ongoing software project becomes legacy almost before the project successfully hits a production. this poses a continual challenge for software development, and effective ways of technology transition are sought. Affordance-Driven Assembling (ADA) represents such an effort from the standpoint of enterprise engineering theories. In this paper, we formulate a high-level architecture of a software system based on ADA. We demonstrate the architecture on an example of an object-oriented system. We evaluate the qualities of such architecture from the perspective of evolvability using Normalized Systems theory, and we formulate conclusions on potential of this approach. © 2019 CEUR-WS. All rights reserved.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Test-run of the "app-driven approach" in teaching a mobile programming course 14

Test-run of the "app-driven approach" in teaching a mobile p...

引用

19th Western Canadian conference on Computing Education, WCCCE 2014

作者： Liu, Xing Department of Computer Science and Information Technology School of Business Kwantlen Polytechnic University 12666-72 Ave. Surrey BC V3W 2M8 Canada

ISBN: (纸本)9781450328999

In the computing education community, there are common understandings regarding what topics should be covered in some specific subjects and their corresponding courses and the preferred sequence in which the topics is presented. Published textbooks written by university educators are indications of such practices. Frequently, developing a new course needs to select a relatively "better" textbook from a large number of similar textbooks based on criteria such as readability and clarity. Majority of the textbooks present the conceptual topics for different aspects of their intended subjects in a progressive manner. that is, the concept of a topic is discussed, coupled with several small examples, and followed by some small exercises such as end of chapter problems. In computing courses, often a term project is assigned to students with the expectation that they will apply the knowledge learned in different topics to one place to solve a problem of relatively large scale. Computing courses such as object-oriented programming and data structures can both be taught using this approach. the author names this the "topicbased approach". However, in mobile programming courses, the ultimate goal is to empower the students with skills for application development. this gives rise to the so-called "appdriven" approach as mentioned in some books. the author had the opportunity to teach a mobile programming course for Android application development recently. this paper introduces how the author prepared the course and is a reflection on the use of the "app-driven" approach in teaching the mobile programming course. Comparisons are made to map out the pros and cons of the more common "topic-based approach" and the "app-driven approach". © 2014 ACM.

关键词： Textbooks

来源：评论

学校读者我要写书评

暂无评论

Evaluation of Environmental Conditions on object Detection Using oriented Bounding Boxes for AR Applications 19

Evaluation of Environmental Conditions on Object Detection U...

引用

19th Annual International conference on Distributed Computing in Smart Systems and the Internet of things, DCOSS-IoT 2023

作者： Li, Vladislav Villarini, Barbara Nebel, Jean-Christophe Lagkas, thomas Sarigiannidis, Panagiotis Argyriou, Vasileios Kingston University Dept. of Networks and Digital Media London United Kingdom School of Computer Science and Engineering University of Westminster London United Kingdom Kingston University Dept. of Computer Science London United Kingdom International Hellenic University Greece and S.E. Research Centre Dept. of Computer Science Greece University of Western Macedonia Dept. of Electrical and Comp. Engineering Kozani Greece

ISBN: (纸本)9798350346497

the objective of augmented reality (AR) is to add digital content to natural images and videos to create an interactive experience between the user and the environment. Scene analysis and object recognition play a crucial role in AR, as they must be performed quickly and accurately. In this study, a new approach is proposed that involves using oriented bounding boxes with a detection and recognition deep network to improve performance and processing time. the approach is evaluated using two datasets: a real image dataset (DOTA dataset) commonly used for computer vision tasks, and a synthetic dataset that simulates different environmental, lighting, and acquisition conditions. the focus of the evaluation is on small objects, which are difficult to detect and recognise. the results indicate that the proposed approach tends to produce better Average Precision and greater accuracy for small objects in most of the tested conditions. © 2023 IEEE.

关键词： Augmented reality

来源：评论

学校读者我要写书评

暂无评论

A Fixed-Point Query Language for XML

A Fixed-Point Query Language for XML

引用

19th european-Japanese conference on Information Modelling and Knowledge Bases (EJC)

作者： Wang, Qing Schewe, Klaus-Dieter thalheim, Bernhard Informat Sci Res Ctr Palmerston North New Zealand Univ Kiel Inst Comp Sci Kiel Germany

ISBN: (纸本)9781607504771;9781607500896

In order to increase the expressiveness of XML query languages we define an XML object model that provides a rich description of XML data using the notions of class schema and class tuple. Based on this model we develop a novel query language, the XML Identity Query Language (XIQL) based on identifier generation and fixed-point computation. However, XIQL cannot deal with finite tree duplicates in an XML object graph. To solve this problem we extend XIQL by integrating terms. t denoting hereditarily finite sets. With respect to determinate transformations the extended XIQL(+) is still incomplete, but becomes complete with respect to a modified completeness criterion for XML database transformations, which aims at capturing more non-determinism.

关键词： XML object model query language logic programming fixed-point

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共27页 << < 14 15 16 17 18 19 20 21 22 23 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：