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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

908 篇 会议
16 册 图书
4 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

571 篇 工学
- 450 篇 计算机科学与技术...
- 284 篇 软件工程
- 135 篇 信息与通信工程
- 134 篇 控制科学与工程
- 62 篇 电气工程
- 55 篇 交通运输工程
- 46 篇 安全科学与工程
- 43 篇 生物工程
- 32 篇 网络空间安全
- 31 篇 电子科学与技术（可...
- 27 篇 动力工程及工程热...
- 27 篇 石油与天然气工程
- 24 篇 生物医学工程（可授...
- 21 篇 机械工程
- 20 篇 仪器科学与技术
- 17 篇 光学工程
- 16 篇 化学工程与技术
226 篇 理学
- 139 篇 数学
- 51 篇 生物学
- 30 篇 物理学
- 28 篇 系统科学
- 28 篇 统计学（可授理学、...
160 篇 管理学
- 115 篇 管理科学与工程(可...
- 82 篇 工商管理
- 78 篇 图书情报与档案管...
48 篇 经济学
- 48 篇 应用经济学
30 篇 教育学
- 30 篇 教育学
29 篇 法学
- 25 篇 社会学
20 篇 医学
- 19 篇 临床医学
- 17 篇 基础医学(可授医学...
7 篇 农学
4 篇 军事学
2 篇 文学
2 篇 艺术学

主题

36 篇 computer science
26 篇 control systems
21 篇 machine learning
16 篇 artificial intel...
13 篇 access control
13 篇 reinforcement le...
13 篇 computational mo...
13 篇 real-time system...
13 篇 costs
12 篇 traffic control
12 篇 bandwidth
11 篇 deep learning
11 篇 computer archite...
11 篇 protocols
10 篇 quality of servi...
9 篇 automation
9 篇 neural networks
9 篇 hardware
8 篇 mobile ad hoc ne...
8 篇 computer communi...

机构

7 篇 university polit...
7 篇 faculty of autom...
6 篇 national institu...
6 篇 university polit...
6 篇 computer science...
5 篇 pazhou lab
5 篇 chinese acad sci...
4 篇 al-balqa applied...
4 篇 faculty of autom...
4 篇 university polit...
4 篇 school of inform...
4 篇 school of comput...
4 篇 guangdong univ t...
3 篇 college of compu...
3 篇 college of infor...
3 篇 univ chinese aca...
3 篇 univ jinan sch m...
3 篇 department of gr...
3 篇 department of co...
3 篇 university polit...

作者

7 篇 li hui
5 篇 florea adina mag...
5 篇 fagarasan ioana
4 篇 adina magda flor...
4 篇 min-chul lee
4 篇 ghassan samara
4 篇 myungjin cho
4 篇 samara ghassan
4 篇 mocanu stefan
4 篇 liu derong
4 篇 mustata alexandr...
4 篇 hyun-woo kim
4 篇 teng luyao
4 篇 ştefan mocanu
3 篇 bogdan-costel mo...
3 篇 giorgian neculoi...
3 篇 mihnea alexandru...
3 篇 stamatescu grigo...
3 篇 ding naikan
3 篇 grigore stamates...

语言

916 篇 英文
10 篇 其他
4 篇 中文

检索条件"任意字段=24th International Conference on Control Systems and Computer Science, CSCS 2023"

共 928 条记录，以下是771-780 订阅

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

详细简洁

排序：

ACEC 2015 Track Report: Adaptive computing (and agents) for enhanced collaboration 24

ACEC 2015 Track Report: Adaptive computing (and agents) for ...

引用

2015 24th IEEE international conference on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2015

作者： Bergenti, Federico Blake, M. Brian Cabri, Giacomo Wajid, Usman Dipartimento di Matematica Università di Parma Parma Italy Department of Computer Science University of Miami MiamiFL United States Dipartimento di Ingegneria Dell'Informazione Università di Modena e Reggio Emilia Modena Italy School of Computer Science University of Manchester Manchester United Kingdom

ISBN: (纸本)9781467376921

this report describes the culmination of the 13th installment of the "Adaptive Computing (and Agents) for Enhanced Collaboration" (ACEC) track. ACEC focuses on collaborative computing that occurs dynamically among webaccessible software systems and devices. the articulation of these network artifacts must be controlled by adaptive, intelligent control mechanisms, sometimes realized as agents. ACEC has for over 13 years brought together researchers from multiple disciplines to address the challenges associated with effective, just-in-time collaboration. the track this year showcases papers that explore emerging models and design patterns for adaptive architectures for a varied set of domains such as robotic and crowdsourcing. © 2015 IEEE.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Graph-Based Inverse Optimal control for Robot Manipulation 24

Graph-Based Inverse Optimal Control for Robot Manipulation

引用

1st international Workshop on Social Influence Analysis / 24th international Joint conference on Artificial Intelligence (IJCAI)

作者： Byravan, Arunkumar Monfort, Mathew Ziebart, Brian Boots, Byron Fox, Dieter Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA Univ Illinois Dept Comp Sci Chicago IL USA Georgia Inst Technol Sch Interact Comp Atlanta GA 30332 USA

ISBN: (纸本)9781577357384

Inverse optimal control (IOC) is a powerful approach for learning robotic controllers from demonstration that estimates a cost function which rationalizes demonstrated control trajectories. Unfortunately, its applicability is difficult in settings where optimal control can only be solved approximately. While local IOC approaches have been shown to successfully learn cost functions in such settings, they rely on the availability of good reference trajectories, which might not be available at test time. We address the problem of using IOC in these computationally challenging control tasks by using a graph-based discretization of the trajectory space. Our approach projects continuous demonstrations onto this discrete graph, where a cost function can be tractably learned via IOC. Discrete control trajectories from the graph are then projected back to the original space and locally optimized using the learned cost function. We demonstrate the effectiveness of the approach with experiments conducted on two 7-degree of freedom robotic arms.

关键词： Cost functions

来源：评论

学校读者我要写书评

暂无评论

Design of a Cloud-based Bike-fleet POI touring service platform 24

Design of a Cloud-based Bike-fleet POI touring service platf...

引用

24th international conference on Software Engineering and Data Engineering, SEDE 2015

作者： Ku, Hao-Hsiang Ouyang, Maio Huang, Si-Yuan Dept. of Computer Science and Information Engineering Hwa-Hsia University of Technology New Taipei City Taiwan Dept. of Management Information Systems National Pingtung University of Science and Technology Pingtung Taiwan

ISBN: (纸本)9781510812277

Travel lights are more and more popular. Many residents and travelers enjoy traveling using bikes in Taiwan. Hence, this study designs a Cloud-based Bike-fleet POI Touring Service Platform, which is called C-BOOST, to help people make travel plans. C-BOOST is composed of Bikers and a Cloud-based Digital Convergence Server (CDCS). Bikers can use a smart-phone to get potential Point of Interests (POIs), to get Location-based Services (LBSs), to update traveling itineraries and to manage bike-fleets. Cloud-based Digital Convergence Server is based on Mass Behaviors Model, which provides RSS, Google App Engine (GAE) and Quality control Adaptor services. Quality control Adaptor is composed of Ant Colony Optimization (ACO) algorithm, Bayesian Network and Ontology by users' preferences and GPS values, providing potential POIs for bikers. C-BOOST can provide more suitable POIs for bikers.

关键词： Smartphones

来源：评论

学校读者我要写书评

暂无评论

AskWorld: Budget-Sensitive Query Evaluation for Knowledge-on-Demand 24

AskWorld: Budget-Sensitive Query Evaluation for Knowledge-on...

引用

1st international Workshop on Social Influence Analysis / 24th international Joint conference on Artificial Intelligence (IJCAI)

作者： Samadi, Mehdi Talukdar, Partha Veloso, Manuela Mitchell, Tom Carnegie Mellon Univ Pittsburgh PA 15213 USA Indian Inst Sci Bengaluru Karnataka India

ISBN: (纸本)9781577357384

Recently, several Web-scale knowledge harvesting systems have been built, each of which is competent at extracting information from certain types of data (e.g., unstructured text, structured tables on the web, etc.). In order to determine the response to a new query posed to such systems (e.g., is sugar a healthy food?), it is useful to integrate opinions from multiple systems. If a response is desired within a specific time budget (e.g., in less than 2 seconds), then maybe only a subset of these resources can be queried. In this paper, we address the problem of knowledge integration for on-demand time-budgeted query answering. We propose a new method, AskWorld, which learns a policy that chooses which queries to send to which resources, by accommodating varying budget constraints that are available only at query (test) time. through extensive experiments on real world datasets, we demonstrate AskWorld's capability in selecting most informative resources to query within test-time constraints, resulting in improved performance compared to competitive baselines.

关键词： Budget control

来源：评论

学校读者我要写书评

暂无评论

A lightweight solution to version incompatibility in service-oriented revision control systems 24

A lightweight solution to version incompatibility in service...

引用

24th Australasian Software Engineering conference, ASWEC 2015

作者： Almalki, Jameel Shen, Haifeng School of Computer Science Engineering and Mathematics Flinders University Adelaide Australia

ISBN: (纸本)9781450337960

Service-Oriented Revision control (SORC) is a novel distributed Software Configuration Management (SCM) model specifically designed for *** supporting collaborative programming of Web applications, where each developer's code is exposed to their peers as Web services. As developers often work on their services in a continuous and evolutionary manner, newer versions of the same service are constantly created and as such incompatibility between versions becomes a major issue in service versioning that leads to hurdles in the interactions between the service provider and its consumers. In this paper, we propose a lightweight solution to version incompatibility in SORC by allowing the service provider to automatically generate a compatibility message when committing a new version, which is to be retrieved by consumers when updating their local proxies to the service without relying on heavyweight service registries. © 2015 ACM.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Reachability analysis of first-order definable pushdown systems 24

Reachability analysis of first-order definable pushdown syst...

引用

24th EACSL Annual conference on computer science Logic, CSL 2015

作者： Clemente, Lorenzo Lasota, Slawomir University of Warsaw Poland

ISBN: (纸本)9783939897903

We study pushdown systems where control states, stack alphabet, and transition relation, instead of being finite, are first-order definable in a fixed countably-infinite structure. We show that the reachability analysis can be addressed with the well-known saturation technique for the wide class of oligomorphic structures. Moreover, for the more restrictive homogeneous structures, we are able to give concrete complexity upper bounds. We show ample applicability of our technique by presenting several concrete examples of homogeneous structures, subsuming, with optimal complexity, known results from the literature. We show that infinitely many such examples of homogeneous structures can be obtained with the classical wreath product construction. © Lorenzo Clemente and Sllawomir Lasota.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

24th international Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014

引用

24th international Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014

ISBN: (纸本)9783319178219

the proceedings contain 19 papers. the special focus in this conference is on Program Analysis and Transformation, Constraint Handling Rules, Termination Analysis, Security and Program Testing and Verification. the topics include: Analyzing array manipulating programs by program transformation;analysing and compiling coroutines with abstract conjunctive partial deduction;confluence modulo equivalence in constraint handling rules;exhaustive execution of CHR through source-to-source transformation;a formal semantics for the cognitive architecture ACT-R;chranimation: an animation tool for constraint handling rules;extending the 2D dependency pair framework for conditional term rewriting systems;partial evaluation for java malware detection;access control and obligations in the category-based metamodel;concolic execution and test case generation in prolog;liveness properties in cafeOBJ - a case study for meta-level specifications;a hybrid method for the verification and synthesis of parameterized self-stabilizing protocols;drill and join:;functional kleene closures;on completeness of logic programs;polynomial approximation to well-founded semantics for logic programs with generalized atoms;declarative compilation for constraint logic programming and pre-indexed terms for prolog.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ACEC 2015 Track Report: Adaptive computing (and agents) for enhanced collaboration

ACEC 2015 Track Report: Adaptive computing (and agents) for ...

引用

IEEE international Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE)

作者： Federico Bergenti M. Brian Blake Giacomo Cabri Usman Wajid Dipartimento di Matematica Università di Parma Parma Italy Department of Computer Science University of Miami Miami FL USA Dipartimento di Ingegneria dell'Informazione Università di Modena e Reggio Emilia Modena Italy School of Computer Science The University of Manchester Manchester UK

this report describes the culmination of the 13th installment of the “Adaptive Computing (and Agents) for Enhanced Collaboration” (ACEC) track. ACEC focuses on collaborative computing that occurs dynamically among Web-accessible software systems and devices. the articulation of these network artifacts must be controlled by adaptive, intelligent control mechanisms, sometimes realized as agents. ACEC has for over 13 years brought together researchers from multiple disciplines to address the challenges associated with effective, just-in-time collaboration. the track this year showcases papers that explore emerging models and design patterns for adaptive architectures for a varied set of domains such as robotic and crowdsourcing.

关键词： Collaboration Adaptation models computer architecture Crowdsourcing Computational modeling Robots Social network services

来源：评论

学校读者我要写书评

暂无评论

Synchronized Multi-Hop Scheduling for Real-Time Traffic on SDNs

Synchronized Multi-Hop Scheduling for Real-Time Traffic on S...

引用

international conference on computer Communications and Networks (ICCCN)

作者： Xiang Cao Yingfei Dong David Hung-Chang Du Department of Computer Science and Engineering University of Minnesota Twin Cities USA Department of Electrical Engineering University of Hawaii USA

Although supporting Quality of Service (QoS) on the traditional Internet has been extremely challenging, QoS supports are still highly desirable for many real-time applications. While existing QoS schemes often show poor scalability, low efficiency, and limited QoS supports, the fast development of Software Define Networks (SDNs) provides new opportunities to address QoS support with its centralized network control. In this paper, we propose a synchronized architecture to exploit the unique features of SDNs without conducting static reservations. Assume all routers are synchronized in time, we can precisely determine the upstream delay of a packet at a router. Meanwhile, because we also know the fairly accurate resource availability on its downstream routers (from the SDN controller), we can determine the packet's service priority on its current router based on its end-to-end (e2e) delay requirement and the expected delay that the packet may experience in its downstream. In particular, we propose a synchronized multi-hop scheduling (SMS) scheme to exploit both upstream information and downstream resource availability to speed up or slow down a packet. this is completely different from all existing per-hop or multi-hop schemes that mostly utilize upstream information. Furthermore, we propose to selectively drop a packet that is unlikely to meet its deadline. Our simulation results show that the proposed scheme outperforms existing schemes in packet missing rates.

关键词： Switches Quality of service Delay estimation Synchronization Real-time systems

来源：评论

学校读者我要写书评

暂无评论

control of UPOs of unknown chaotic systems via ANN

Control of UPOs of unknown chaotic systems via ANN

引用

24th international conference on Artificial Neural Networks, ICANN 2014

作者： Khelifa, Amine M. Boukabou, Abdelkrim Department of Electronics Faculty of Sciences and Technology Jijel University 98 Ouled Aissa Jijel 18000 Algeria

ISBN: (纸本)9783319111780

In this paper an artificial neural network (ANN) is developed for modeling and controlling unknown chaotic systems to unstable periodic orbits (UPOs). In the modeling phase, the ANN is trained on the unknown chaotic systems using the input-output data obtained from the unknown (or uncertain) underlying chaotic systems, and a specific computational algorithm is employed for the parameter optimization. In the controlling phase, the L 2 -stability criterion is used, which forms the basis of the main design principle. Some simulation results on the chaotic Henon and Duffing systems are given, for both modeling and controlling phases, to illustrate the effectiveness of the proposed chaos control scheme and the proposed neural network. © 2014 Springer international Publishing Switzerland.

关键词： Chaos control

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共93页 << < 74 75 76 77 78 79 80 81 82 83 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：