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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

109 篇 会议
25 篇 期刊文献
5 册 图书

馆藏范围

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

日期分布

学科分类号

87 篇 工学
- 71 篇 计算机科学与技术...
- 59 篇 软件工程
- 17 篇 信息与通信工程
- 9 篇 控制科学与工程
- 8 篇 生物工程
- 7 篇 生物医学工程（可授...
- 4 篇 机械工程
- 4 篇 光学工程
- 4 篇 建筑学
- 3 篇 材料科学与工程（可...
- 3 篇 化学工程与技术
- 2 篇 仪器科学与技术
- 2 篇 动力工程及工程热...
- 2 篇 电气工程
- 2 篇 电子科学与技术（可...
54 篇 理学
- 33 篇 数学
- 10 篇 物理学
- 10 篇 生物学
- 6 篇 系统科学
- 5 篇 统计学（可授理学、...
- 3 篇 化学
31 篇 管理学
- 17 篇 图书情报与档案管...
- 15 篇 管理科学与工程(可...
- 9 篇 工商管理
7 篇 法学
- 7 篇 社会学
6 篇 医学
- 6 篇 基础医学(可授医学...
- 6 篇 临床医学
- 4 篇 公共卫生与预防医...
- 3 篇 药学(可授医学、理...
5 篇 教育学
- 5 篇 教育学
2 篇 文学
2 篇 农学
1 篇 经济学

主题

6 篇 artificial intel...
5 篇 data mining
4 篇 software enginee...
4 篇 optimization
4 篇 multi agent syst...
3 篇 computer science
3 篇 super-resolution
3 篇 compressed sensi...
3 篇 computer archite...
3 篇 semantics
3 篇 software
2 篇 learning systems
2 篇 information syst...
2 篇 cesium
2 篇 compressed
2 篇 application soft...
2 篇 modeling languag...
2 篇 real time system...
2 篇 data mining and ...
2 篇 interference

机构

3 篇 dept. of compute...
3 篇 school of foreig...
3 篇 dept. of linguis...
3 篇 dept. of compute...
3 篇 dept. of languag...
3 篇 dept. mathematic...
2 篇 dept. of languag...
2 篇 dept. of signal ...
2 篇 dept. of compute...
2 篇 tissue engineeri...
2 篇 dept. signal the...
2 篇 programming and ...
2 篇 biomedical engin...
2 篇 national technic...
2 篇 department of co...
2 篇 department of fo...
2 篇 dept. of electri...
2 篇 dept. of enginee...
2 篇 kharkiv national...
2 篇 dept. of speech ...

作者

7 篇 griol david
6 篇 fritzson peter
5 篇 callejas zoraida
4 篇 leonard barolli
4 篇 fatos xhafa
3 篇 pablo padilla
3 篇 hu hai
3 篇 xhafa fatos
3 篇 rafael molina
3 篇 schötz susanne
3 篇 wael saafin
3 篇 rasras mohammad
3 篇 miguel vega
3 篇 marin iuliana
3 篇 lópez-cózar ramó...
3 篇 aggelos k. katsa...
3 篇 wang rui
2 篇 astigarraga aitz...
2 篇 troels andreasen
2 篇 radu serban

语言

136 篇 英文
2 篇 其他
1 篇 日文

检索条件"机构=Dept. of Computer Science and Programming Languages"

共 139 条记录，以下是71-80 订阅

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

详细简洁

排序：

Distinguishing between true and false stories using various linguistic features 29

Distinguishing between true and false stories using various ...

引用

29th Pacific Asia Conference on Language, Information and Computation, PACLIC 2015

作者： HaCohen-Kerner, Yaakov Dilmon, Rakefet Friedlich, Shimon Cohen, Daniel Nissim Dept. of Computer Science Jerusalem College of Technology 21 Havaad Haleumi St. P.O.B. 16031 Jerusalem9116001 Israel Dept. of Hebrew and Semitic Languages Bar-Ilan University Ramat-Gan5290002 Israel

This paper analyzes what linguistic features differentiate true and false stories written in Hebrew. To do so, we have defined four feature sets containing 145 features: POS-Tags, quantitative, repetition, and special expressions. The examined corpus contains stories that were composed by 48 native Hebrew speakers who were asked to tell both false and true stories. Classification experiments on all possible combinations of these four feature sets using five supervised machine learning methods have been applied. The Part of Speech (POS) set was superior to all others and has been found as a key component. The best accuracy result (89.6%) has been achieved by a combination of sixteen POS-Tags and one quantitative feature.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

programming software agents as designing executable business processes: A Model-driven perspective 1

Programming software agents as designing executable business...

引用

First International Workshop ProMAS 2003: programming Multi-Agent Systems

作者： Müller, Jörg P. Bauer, Bernhard Friese, Thomas Siemens AG Corporate Technology Intelligent Autonomous Systems Otto-Hahn-Ring 6 D-81739 München Germany Programming of Distributed Systems Institute of Computer Science University of Augsburg D-86135 Augsburg Dept. of Mathematics and Computer Science University of Marburg D-35032 Marburg Germany

ISBN: (纸本)9783540221807

The contribution of this paper is fourfold. First, we sketch an architecture of agent-enabled business process management that cleanly separates between agent capabilities, business process modeling, and the modeling of services that are employed to actually implement processes. Second, we demonstrate how the Model-Driven Architecture (MDA) paradigm can be beneficially employed at all three layers of the agent-enabled business process architecture. Third, we describe an instance of a platform independent model based on the new UML2 standard, and sketch a mapping to a platform dependent model based on the Business Process Execution Language for Web Services (BPEL4WS). Fourth, we point out the relationship between the programming of multiagent systems, and the design of agent-enabled business processes. Our key thesis is that designing business processes based on an agent-enabled business processes modeling and enactment framework is a useful way of programming agents - a way that may help agent technology to gain much wider acceptance in industry. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Software agents

来源：评论

学校读者我要写书评

暂无评论

IMAGE SUPER-RESOLUTION FROM COMPRESSED SENSING OBSERVATIONS

IMAGE SUPER-RESOLUTION FROM COMPRESSED SENSING OBSERVATIONS

引用

IEEE International Conference on Image Processing

作者： Wael Saafin Miguel Vega Rafael Molina Aggelos K. Katsaggelos Dept. of Computer Science and Artificial Intellegence University of Granada Dept. of Languages and Information Systems University of Granada Dept. of Electrical Engineering and Computer Science Northwestern University

ISBN: (纸本)9781479983407

In this work we propose a novel framework to obtain High Resolution (HR) images from Compressed Sensing (CS) imaging systems capturing multiple Low Resolution (LR) images of the same scene. The proposed CS Super Resolution (SR) approach combines existing CS reconstruction algorithms with an LR to HR approach based on the use of a Super Gaussian (SG) regularization term. The reconstruction is formulated as a constrained optimization problem which is solved using the Alternate Direction Methods of Multipliers (ADMM). The image estimation subproblem is solved using Majorization-Minimization (MM) while the CS reconstruction becomes an l_1-minimization subject to a quadratic constraint. The performed experiments show that the proposed method compares favorably to classical SR methods at compression ratio 1, obtaining excellent SR reconstructions at ratios below one.

关键词： Super resolution Compressed sensing Image sampling Image reconstruction Image enhancement super-resolution image samples Compressed sensing image enhancement image reconstruction images CONTAINMENT SPRAY carbon monosulfide Cesium SAVANNAH RIVER OPERATIONS OFFICE Strontium COMPRESSED

来源：评论

学校读者我要写书评

暂无评论

Consistent modeling of distributed mutual exclusion protocol using optimistic simulation 01

Consistent modeling of distributed mutual exclusion protocol...

引用

Proceedings of the fifteenth workshop on Parallel and distributed simulation

作者： Malcolm Yoke Hean Low David M. Nicol Programming Research Group Computing Laboratory University of Oxford Dept. of Computer Science Dartmouth College

ISBN: (纸本)9780769511047

This paper discusses the problem of risk in optimistic simulation protocols, using as example simulation of a distributed mutual exclusion protocol with strong consistency properties. The simulation model is augmented to detect model inconsistency errors resulting from risky optimistic simulation. While the model runs sequentially without consistency errors, errors occur when the model is executed in parallel optimistically. Some of the errors entirely violate the fundamental mutual exclusion properties of the model itself. To address this problem we extend the optimistic simulation library to eliminate these inconsistencies. We discuss the details of these extensions and the performance trade-off for adding them.

关键词：

来源：评论

学校读者我要写书评

暂无评论

PMMW IMAGE SUPER RESOLUTION FROM COMPRESSED SENSING OBSERVATIONS

PMMW IMAGE SUPER RESOLUTION FROM COMPRESSED SENSING OBSERVAT...

引用

European Signal Processing Conference

作者： Wael Saafin Salvador Villena Miguel Vega Rafael Molina Aggelos K. Katsaggelos Dept. of Computer Science and Artificial Intellegence University of Granada Dept. of Languages and Information Systems University of Granada Dept. of Electrical Engineering and Computer Science Northwestern University

ISBN: (纸本)9781479988518

In this paper we propose a novel optimization framework to obtain High Resolution (HR) Passive Millimeter Wave (P-MMW) images from multiple Low Resolution (LR) observations captured using a simulated Compressed Sensing (CS) imaging system. The proposed CS Super Resolution (CSS-R) approach combines existing CS reconstruction algorithms with the use of Super Gaussian (SG) regularization terms on the image to be reconstructed, smoothness constraints on the registration parameters to be estimated and the use of the Alternate Direction Methods of Multipliers (ADMM) to link the CS and SR problems. The image estimation subproblem is solved using Majorization-Minimization (MM), registration is tackled minimizing a quadratic function and CS reconstruction is approached as an l_1-minimization problem subject to a quadratic constraint. The performed experiments, on simulated and real PMMW observations, validate the used approach.

关键词： Passive millimeter-wave Compressive sensing Super resolution Image restoration super-resolution Compressed sensing image restoration technique millimeter wave images CONTAINMENT SPRAY carbon monosulfide Cesium conditioned stimulus Resolving power COMPRESSED Quadratics

来源：评论

学校读者我要写书评

暂无评论

EHR-centric integration of health information systems

EHR-centric integration of health information systems

引用

4th IEEE International Conference on E-Health and Bioengineering, EHB 2013

作者： Serbanati, Luca Dan Ricci, Fabrizio L. Dept. of Engineering Taught in Foreign Languages Politehnica University of Bucharest Bucharest Romania Institute for Systems Analysis and Computer Science Institute of Molecular Bioimaging and Physiology Italian National Research Council Rome Italy

ISBN: (纸本)9781479923731

SmartFSE in course of development in Sicily Region is a longitudinal EHR based on an IT infrastructure that supports the shift from organization-centric to patient-centric model of healthcare service delivery. In order to facilitate collaborative, multidisciplinary and cross-organizational healthcare delivery processes, SmartFSE provides e-services that promote the interoperability by enabling not only communication among authorized healthcare professionals, but also sharing of the Virtual Healthcare Record, an authoritative, multi-dimensional view on the citizens' health state. The SmartFSE's approach, its origin in the LUMIR system and peculiarities, and its use as an integration platform for health. The architectural issues for integration of the regional information system are emphasized. © 2013 IEEE.

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

Semantic labeling of Chinese serial verb sentences based on feature structure

Semantic labeling of Chinese serial verb sentences based on ...

引用

13th Chinese Lexical Semantics Workshop, CLSW 2012

作者： Chen, Bo Wu, Hongmiao Lv, Chen Yang, Hua Ji, Donghong Dept. of Language and Literature Hubei University of Art and Science Xiangyang China School of Foreign Languages and Literature Wuhan University Wuhan 430072 China Computer School Wuhan University Wuhan 430072 China

ISBN: (纸本)9783642363368

Parsing Chinese serial verb sentences is a key issue in NLP. Many controversies arise from serial verb sentences. This paper puts forward a novel model "the Feature Structure theory" to resolve the semantic labeling of Chinese serial verb sentences. We analyze the difficulties in annotating these sentences, and compare Feature Structure with traditional dependency structure. Feature Structure represents more semantic information and more semantic relations. Feature Graph is a recursive undirected graph, allows nesting and multiple correlations. © 2013 Springer-Verlag.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility

Hilbert's nullstellensatz and an algorithm for proving combi...

引用

21st Annual Meeting of the International Symposium on Symbolic Computation, ISSAC 2008

作者： De Loera, Jesús A. Lee, Jon Malkin, Peter N. Margulies, Susan Dept. of Mathematics Univ. of California Davis Davis CA United States Mathematical Programming IBM T.J. Watson Res. Cntr. Yorktown Heights NY United States Dept. of Computer Science Univ. of California Davis Davis CA United States

ISBN: (纸本)9781595939043

Systems of polynomial equations over an algebraically-closed field K can be used to concisely model many combinatorial problems. In this way, a combinatorial problem is feasible (e.g., a graph is 3-colorable, hamiltonian, etc.) if and only if a related system of polynomial equations has a solution over K. In this paper, we investigate an algorithm aimed at proving combinatorial infeasibility based on the observed low degree of Hilbert's Nullstellensatz certificates for polynomial systems arising in combinatorics and on large-scale linear-algebra computations over K. We report on experiments based on the problem of proving the non-3-colorability of graphs. We successfully solved graph problem instances having thousands of nodes and tens of thousands of edges.

关键词： Linear algebra

来源：评论

学校读者我要写书评

暂无评论

STEM: a methodology for the development of multiagent design tools using a general knowledge model of configurational design

STEM: a methodology for the development of multiagent design...

引用

International Conference on Integration of Knowledge Intensive Multi-Agent Systems (KIMAS)

作者： J.F. Bienvenido I.M. Flores-Parra Dept. Languages and Computer Science University of Almeria Almeria Spain Dept. Languages & Comput. Sci. Univ. of Almeria Spain

Developing a greenhouse design tool, we realized the convenience of developing a general configurational design model; we called STE (from its composition by specification, translation and evaluation tasks). We present first this general design model, summarizing how it was described using improved versions of some of knowledge modeling tools of the commonKADS methodology. Later, we present STEM, a methodology that let us to develop design tools using the STE model. Finally, we point out how both, the STE design model and its associated methodology (STEM) were used to build a greenhouse design tool and actually a tool to design aeronautical utensils.

关键词： computer science Multiagent systems USA Councils Bridges Ontologies computer architecture Electronic mail Production systems Agriculture Irrigation

来源：评论

学校读者我要写书评

暂无评论

S3A: Secure system simplex architecture for enhanced security and robustness of cyber-physical systems

S3A: Secure system simplex architecture for enhanced securit...

引用

2013 2nd ACM International Conference on High Confidence Networked Systems, HiCoNS 2013, as Part of CPSWeek 2013

作者： Mohan, Sibin Bak, Stanley Betti, Emiliano Yun, Heechul Sha, Lui Caccamo, Marco Information Trust Institute University of Illinois Urbana IL 61802 United States Dept. of Computer Science University of Illinois Urbana IL 61802 United States System Programming Research Group University of Rome Tor Vergata Rome Italy

ISBN: (纸本)9781450319614

The recently discovered '***' worm has drastically changed the perception that systems managing critical infrastructure are invulnerable to software security attacks. Here we present an architecture that enhances the security of safety-critical cyber-physical systems despite the presence of such malware. Our architecture uses the property that control systems have deterministic real-time) execution behavior to detect an intrusion within 0.6 μs while still guaranteeing the safety of the plant. We also show that even if an attacker is successful (or gains access to the operating system's administrative privileges), the overall state of the physical system still remains safe. © 2013 ACM.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：