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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,053 篇 会议
51 册 图书
46 篇 期刊文献

馆藏范围

2,150 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,274 篇 工学
- 1,024 篇 计算机科学与技术...
- 583 篇 软件工程
- 254 篇 电气工程
- 157 篇 控制科学与工程
- 69 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 18 篇 安全科学与工程
- 15 篇 交通运输工程
- 12 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 冶金工程
- 11 篇 动力工程及工程热...
- 10 篇 建筑学
296 篇 理学
- 227 篇 数学
- 39 篇 物理学
- 39 篇 统计学（可授理学、...
- 34 篇 系统科学
- 22 篇 生物学
- 16 篇 化学
119 篇 管理学
- 84 篇 管理科学与工程(可...
- 37 篇 工商管理
- 32 篇 图书情报与档案管...
47 篇 教育学
- 46 篇 教育学
25 篇 医学
- 24 篇 临床医学
10 篇 法学
- 10 篇 社会学
9 篇 经济学
5 篇 农学
4 篇 文学

主题

172 篇 logic gates
137 篇 fuzzy logic
129 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
65 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
52 篇 semantics
50 篇 training
49 篇 computer science
48 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
41 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
36 篇 computer program...
35 篇 software

机构

6 篇 laboratory of co...
5 篇 stevens inst tec...
5 篇 institute of log...
5 篇 university of to...
5 篇 institute for lo...
5 篇 chinese univ hon...
4 篇 univ oxford oxfo...
4 篇 school of electr...
4 篇 ibm corp thomas ...
3 篇 north carolina s...
3 篇 creighton univ o...
3 篇 univ politecn ca...
3 篇 ecole polytech f...
3 篇 tu wien austria
3 篇 department of co...
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...

作者

7 篇 inoue katsumi
5 篇 sakama chiaki
5 篇 gupta gopal
4 篇 wang liang
4 篇 iosif radu
4 篇 pontelli enrico
4 篇 liang wang
4 篇 tompits hans
4 篇 beck j. christop...
3 篇 kumar amruth n.
3 篇 chopra amit k.
3 篇 proietti maurizi...
3 篇 il han park
3 篇 m.-r. akbarzadeh...
3 篇 wei li
3 篇 riguzzi fabrizio
3 篇 schaub torsten
3 篇 melin p
3 篇 leonidas deligia...
3 篇 mcdirmid sean

语言

2,101 篇 英文
35 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=22nd International Conference on Logic Programming"

共 2150 条记录，以下是1831-1840 订阅

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

详细简洁

排序：

Object-Oriented Software Configuration Management

Object-Oriented Software Configuration Management

引用

international conference on Software Maintenance (ICSM)

作者： Tien N. Nguyen Electrical and Computer Engineering Department Iowa State University USA

The ability to manage the evolution of a software system is critical to a successful development process. In a typical software development process, software engineers think and reason in terms of logical abstractions, their compositions and interrelations. However, existing version control and software configuration management (SCM) systems treat a software system as a set of files in a conventional file system. This creates an impedance mismatch between the design and implementation domain (semantic level) and the configuration management domain (file level). File-oriented SCM systems, whose concepts are heavily based on the storage structure, can become burdensome for developers partly because design/implementation methods and SCM infrastructures require different mental models. This paper describes Molhado (Nguyen, 2005; Nguyen et al., 2004; Nguyen et al., 2005), an extensible and adaptable SCM framework and infrastructure that helps developers quickly create the core of an object-oriented SCM system for any application domain independent of the concrete file structure. SCM systems based on Molhado can be built to operate entirely at the logical level, eliminating that impedance mismatch

关键词： Software systems programming Object oriented modeling Software development management Concrete Data models Impedance Application software Engineering management File systems

来源：评论

学校读者我要写书评

暂无评论

Empirical Software Engineering Research on Free/Libre/Open Source Software

Empirical Software Engineering Research on Free/Libre/Open S...

引用

international conference on Software Maintenance (ICSM)

作者： Gregorio Robles GSyC/LibreSoft-Libre Software Engineering Laboratory Universidad Rey Juan Carlos de Madrid Madrid Spain

Public available data sources are an important knowledge generator from which researchers can obtain, mostly in a non-intrusive way, data and facts from software projects. We present a methodological approach to the data sources commonly found in libre (free, open source) software projects over the Internet, explain how to extract these data and enhance them and offer some ways of analyzing it from various perspectives. The whole process has been implemented with tools that automatize the process so that an ample amount of analysis from various angles (that range from software maintenance and software evolution to the social structure of the underlying organization in charge of the development) of a huge amount of software projects has been used as case studies. This paper demonstrates that it is possible to build research methodologies that can be applied to a large quantity of software projects and that empirical software engineering studies have not to refer to a limited number of software projects. Although specifically targeted to libre software development, many of the techniques and lessons learned can be generally applied to other types of software environments

关键词： Software engineering Open source software Software maintenance Software performance Performance analysis Software tools programming Linux Internet Data mining

来源：评论

学校读者我要写书评

暂无评论

Long-term Life Cycle Impact of Agile Methodologies

Long-term Life Cycle Impact of Agile Methodologies

引用

international conference on Software Maintenance (ICSM)

作者： Mira Kajko-Mattsson Grace A. Lewis Dave Siracusa Taylor Nelson Ned Chapin Michael Heydt Jason Nocks Harry Snee (chair) SU/KTH Sweden Software Engineering Institute Pittsburgh USA InfoSci Inc. USA 42Spike LLC Philadelphia West Chester USA Sofres/Media Intelligence Taylor Nelson West Chester PA USA Software Engineering Institute Pittsburgh USA Software Development Group SourceXtreme Inc. Exton Pennsylvania United States Sofres/Media Intelligence West Chester Exton USA Sofres/Media Intelligence West Chester 42Spike LLC PA USA Univ. of Regensburg and of Passau The Corvinus University ANECON GmbH

Dissatisfaction with heavyweight development approaches has lead to a proposal of agile methodologies. While heavyweight approaches are geared towards careful project planning, formalized quality assurance, and controlled and rigorous software development processes, the agile approaches focus on quick adaptation to change, and flexibility. Today, there are a number of different agile methods available, such as Scrum, Crystal, Adaptive Software Development, Feature Driven Development, and extreme programming. Although different, they share the same principles. Some of them are: (1) individuals and interactions over processes and tools, (2) working code over comprehensive documentation, (3) customer collaboration over contract negotiation, and (4) responding to change over following a plan. The proponents claim that agile methodologies lead to more effective and efficient development. The opponents, on the other hand, have stamped the agile approach as a "license to hack" or "cowboy", or "code-and-fix" method.

关键词： programming Proposals Process planning Quality assurance Documentation Collaborative tools Collaborative work Contracts Licenses Computer hacking

来源：评论

学校读者我要写书评

暂无评论

Using Sex Differences to Link Spatial Cognition and Program Comprehension

Using Sex Differences to Link Spatial Cognition and Program ...

引用

international conference on Software Maintenance (ICSM)

作者： Maryanne Fisher Anthony Cox Lin Zhao Department of Psychology Saint Mary''s University Halifax NS Canada Faculty of Computer Science Dalhousie University Halifax NS Canada

Spatial cognition and program development have both been examined using contrasting models. We suggest that sex-based differences in one's perception of risk is the key to relating these models. Specifically, the survey map approach to navigation and the top-down development/comprehension strategy use similar and related high risk cognitive skills that males show a preference towards. Conversely, the route-based approach to navigation and the bottom-up development/comprehension strategy use similar and related low risk cognitive skills that women show a preference towards. On the assumption that programmers are consistent in their risk-taking behaviours, we believe that they, as much as possible, tend to use the same strategy when performing program development and comprehension. In an experimental setting, we compare programmer's performance on spatial cognition and program comprehension tasks. The correlations that we found suggest that programmers use equivalently risky strategies for program comprehension and spatial cognition. Thus, there is evidence that similar cognitive skills are used for spatial cognition and program comprehension/development, and that the similarities are a consequence of sex-based differences in risk-taking behaviour

关键词： Cognition Navigation programming profession Software maintenance Computer science Psychology Application software Software systems Cognitive science Flow graphs

来源：评论

学校读者我要写书评

暂无评论

How to Determine a Good Multi-programming Level for External Scheduling

How to Determine a Good Multi-Programming Level for External...

引用

international conference on Data Engineering

作者： B. Schroeder M. Harchol-Balter A. Iyengar E. Nahum A. Wierman Department of Computer Science Carnegie Mellon University Pittsburgh PA USA IBM Thomas J. Watson Research Center Yorktown Heights NY USA

Scheduling/prioritization of DBMS transactions is important for many applications that rely on database backends. A convenient way to achieve scheduling is to limit the number of transactions within the database, maintaining most of the transactions in an external queue, which can be ordered as desired by the application. While external scheduling has many advantages in that it doesn’t require changes to internal resources, it is also difficult to get right in that its performance depends critically on the particular multiprogramming limit used (the MPL), i.e. the number of transactions allowed into the database. If the MPL is too low, throughput will suffer, since not all DBMS resources will be utilized. On the other hand, if the MPL is too high, there is insufficient control on scheduling. The question of how to adjust theMPL to achieve both goals simultaneously is an open problem, not just for databases but in system design in general. Herein we study this problem in the context of transactional workloads, both via extensive experimentation and queueing theoretic analysis. We find that the two most critical factors in adjusting the MPL are the number of resources that the workload utilizes and the variability of the transactions’ service demands. We develop a feedback based controller, augmented by queueing theoretic models for automatically adjusting the MPL. Finally, we apply our methods to the specific problem of external prioritization of transactions. We find that external prioritization can be nearly as effective as internal prioritization, without any negative consequences, when the MPL is set appropriately.

关键词： Transaction databases Processor scheduling Queueing analysis Quality of service Computer science Application software Throughput System analysis and design Feedback Automatic control

来源：评论

学校读者我要写书评

暂无评论

Workshop on Approaches and Applications of Inductive programming, AAIP 2005 - In Conjunction with the 22nd international conference on Machine Learning, ICML 2005

Workshop on Approaches and Applications of Inductive Program...

引用

Workshop on Approaches and Applications of Inductive programming, AAIP 2005 - In Conjunction with the 22nd international conference on Machine Learning, ICML 2005

The proceedings contain 6 papers. The topics discussed include: an explanation based generalization approach to inductive synthesis of functional programs;synthesis of scientific algorithms based on evolutionary computation and templates;kernels on prolog proof trees: statistical learning in the ILP setting;learning recursive prolog programs with local variables from examples;incremental discovery of sequential patterns for grammatical inference;and data-dependencies and learning in artificial systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Learning the structure of markov logic networks 05

Learning the structure of markov logic networks

引用

ICML 2005: 22nd international conference on Machine Learning

作者： Kok, Stanley Domingos, Pedro Department of Computer Science and Engineering University of Washington Seattle WA 98195 United States

ISBN: (纸本)1595931805

Markov logic networks (MLNs) combine logic and probability by attaching weights to first-order clauses, and viewing these as templates for features of Markov networks. In this paper we develop an algorithm for learning the structure of MLNs from relational databases, combining ideas from inductive logic programming (ILP) and feature induction in Markov networks. The algorithm performs a beam or shortestfirst search of the space of clauses, guided by a weighted pseudo-likelihood measure. This requires computing the optimal weights for each candidate structure, but we show how this can be done efficiently. The algorithm can be used to learn an MLN from scratch, or to refine an existing knowledge base. We have applied it in two real-world domains, and found that it outperforms using off-the-shelf ILP systems to learn the MLN structure, as well as pure ILP, purely probabilistic and purely knowledge-based approaches.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

Learning to extract genic interactions using gleaner

Learning to extract genic interactions using gleaner

引用

4th Workshop on Learning Language in logic, LLL 2005, Part of the 22nd international conference on Machine Learning, ICML 2005

作者： Goadrich, Mark Oliphant, Louis Shavlik, Jude Department of Biostatistics and Medical Informatics and Department of Computer Sciences University of Wisconsin-Madison Madison WI 53706 United States

We explore here the application of Gleaner, an Inductive logic programming approach to learning in highly-skewed domains, to the Learning Language in logic 2005 biomedical information-extraction challenge task. We create and describe a large number of background knowledge predicates suited for this task. We find that Gleaner outperforms standard Aleph theories with respect to recall and that additional linguistic background knowledge improves recall.

关键词： Inductive logic programming (ILP)

来源：评论

学校读者我要写书评

暂无评论

Integer linear programming inference for conditional random fields

Integer linear programming inference for conditional random ...

引用

ICML 2005: 22nd international conference on Machine Learning

作者： Roth, Dan Yih, Wen-Tau Department of Computer Science University of Illinois at Urbana-Champaign Urbana IL 61801 United States

ISBN: (纸本)1595931805

Inference in Conditional Random Fields and Hidden Markov Models is done using the Viterbi algorithm, an efficient dynamic programming algorithm. In many cases, general (non-local and non-sequential) constraints may exist over the output sequence, but cannot be incorporated and exploited in a natural way by this inference procedure. This paper proposes a novel inference procedure based on integer linear programming (ILP) and extends CRF models to naturally and efficiently support general constraint structures. For sequential constraints, this procedure reduces to simple linear programming as the inference process. Experimental evidence is supplied in the context of an important NLP problem, semantic role labeling.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

An explanation based generalization approach to inductive synthesis of functional programs

An explanation based generalization approach to inductive sy...

引用

Workshop on Approaches and Applications of Inductive programming, AAIP 2005 - In Conjunction with the 22nd international conference on Machine Learning, ICML 2005

作者： Kitzelmann, Emanuel Schmid, Ute Department of Information Systems and Applied Computer Science Otto-Friedrich-University Bamberg Germany

We describe an approach to the inductive synthesis of recursive equations from input/outputexamples which is based on the classical twostep approach to induction of functional Lisp programs of Summers (1977). In a first step, I/Oexamples are rewritten to traces which explain the outputs given the respective inputs based on a datatype theory. This traces can be integrated into one conditional expression which represents a non-recursive program. In a second step, this initial program term is generalized into recursive equations by searching for syntactical regularities in the term. Our approach extends the classical work in several aspects. The most important extensions are that we are able to induce a set of recursive equations in one synthesizing step, the equations may contain more than one recursive call, and additionally needed parameters are automatically introduced.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共215页 << < 180 181 182 183 184 185 186 187 188 189 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：