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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

159 篇 会议
2 册 图书
2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

89 篇 工学
- 73 篇 计算机科学与技术...
- 59 篇 软件工程
- 11 篇 建筑学
- 10 篇 机械工程
- 9 篇 土木工程
- 8 篇 电子科学与技术（可...
- 7 篇 光学工程
- 6 篇 信息与通信工程
- 5 篇 仪器科学与技术
- 5 篇 控制科学与工程
- 4 篇 农业工程
- 3 篇 材料科学与工程（可...
- 3 篇 生物医学工程（可授...
- 3 篇 生物工程
- 3 篇 安全科学与工程
- 2 篇 力学（可授工学、理...
- 2 篇 动力工程及工程热...
- 2 篇 电气工程
- 2 篇 航空宇航科学与技...
48 篇 理学
- 32 篇 数学
- 13 篇 物理学
- 4 篇 系统科学
- 4 篇 统计学（可授理学、...
- 3 篇 生物学
- 2 篇 地球物理学
12 篇 管理学
- 6 篇 管理科学与工程(可...
- 4 篇 图书情报与档案管...
10 篇 艺术学
- 9 篇 设计学（可授艺术学...
- 4 篇 美术学
4 篇 农学
- 4 篇 作物学
2 篇 医学
1 篇 法学

主题

18 篇 solid modeling
17 篇 computer aided d...
16 篇 rendering (compu...
13 篇 graphics process...
13 篇 three dimensiona...
10 篇 design automatio...
10 篇 mathematical mod...
9 篇 equations
8 篇 computational mo...
8 篇 visualization
8 篇 algorithm design...
7 篇 optimization
7 篇 image color anal...
7 篇 shape
7 篇 geometry
6 篇 interpolation
5 篇 model checking
5 篇 vectors
5 篇 computer graphic...
4 篇 buildings

机构

12 篇 tsinghua nationa...
11 篇 department of co...
11 篇 school of softwa...
9 篇 state key labora...
9 篇 key laboratory f...
7 篇 state key lab. o...
4 篇 state key labora...
3 篇 college of scien...
3 篇 school of comput...
3 篇 program of compu...
3 篇 school of comput...
2 篇 institute of mat...
2 篇 state key labora...
2 篇 liama/nlpr insti...
2 篇 school of comput...
2 篇 school of comput...
2 篇 college of compu...
2 篇 department of co...
2 篇 school of softwa...
2 篇 school of comput...

作者

6 篇 qunsheng peng
5 篇 peng qunsheng
3 篇 wang bin
3 篇 hai lin
3 篇 xueying qin
3 篇 junhai yong
3 篇 zhang hui
3 篇 qin xueying
2 篇 bin wang
2 篇 hoyano akira
2 篇 vardi moshe y.
2 篇 tao tao
2 篇 chen xiaowu
2 篇 bin pan
2 篇 li zongmin
2 篇 li chen
2 篇 pratt kevin b.
2 篇 he fazhi
2 篇 chen li
2 篇 meng xiangxu

语言

162 篇 英文
1 篇 中文

检索条件"任意字段=12th International Conference on Computer-Aided Design and Computer Graphics, CAD/Graphics 2011"

共 163 条记录，以下是91-100 订阅

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

详细简洁

排序：

Fast Patch-Based Image Hybrids Synthesis

Fast Patch-Based Image Hybrids Synthesis

引用

IEEE international conference on computer-aided design and computer graphics

作者： Shiguang Liu Jingting Wu School of Computer Science and Technology Tianjin University Tianjin China

To synthesize a variety of texture images from examples in common PCs is an important topic in computer graphics. this paper proposed a novel patch-based image hybrids synthesis method, which can generate plausible results with visual diversity. First, image analysis was performed to build an effective data structure for synthesizing samples in a fast way which can maintain the texture structure. In the image analysis phase, the candidate patch set was built for each position. then, various hybrid images were generated using patch-based texture synthesis method. Poisson editing algorithm and deblurring techniques were further adopted to optimize the results. Various experiments showed that this new method can hybrid sample images with large color difference, which can also overcome the less smooth boundary problem of the conventional synthesis methods.

关键词： Image color analysis Algorithm design and analysis Buildings computer graphics Optimization Acceleration Data structures

来源：评论

学校读者我要写书评

暂无评论

Detection Geometric Object in the Conformal Geometric Algebra Framework

Detection Geometric Object in the Conformal Geometric Algebr...

引用

IEEE international conference on computer-aided design and computer graphics

作者： Zongmin Li Xiaoxuan Hong Yujie Liu School of Computer Science and Communication Engineering China University of Petroleum Beijing Dongying China

An efficient randomized algorithm for line and circle detection in the Conformal Geometric Algebra framework is designed and implemented. this arithmetic performs well when an image has strong background noise. In conformal geometric algebra, circle and line in conformal space can be represented as multivectors. then the distance would be more easily computed from each edge point to the hypothesis by this detecting algorithm. Based on these distances, the matched points are efficiently summarized and aggregated to yield the true object. the experimental evaluation achieves excellent performance in the hypotheses voting and yields competitive results.

关键词： Shape Noise Vectors Equations Algorithm design and analysis Mathematical model

来源：评论

学校读者我要写书评

暂无评论

12th international conference on computer aided Verification, CAV 2000

12th International Conference on Computer Aided Verification...

引用

12th international conference on computer aided Verification, CAV 2000

ISBN: (纸本)3540677704

the proceedings contain 48 papers. the special focus in this conference is on computer aided Verification. the topics include: Applying formal methods to cryptographic protocol analysis;Boolean satisfiability algorithms and applications in electronic design automation;verification of infinite-state and parameterized systems;an abstraction algorithm for the verification of generalized c-slow designs;achieving scalability in parallel reachability analysis of very large circuits;an automata-theoretic approach to reasoning about infinite-state systems;automatic verification of parameterized cache coherence protocols;binary reachability analysis of discrete pushdown timed automata;Boolean satisfiability with transitivity constraints;bounded model construction for monadic second-order logics;combining decision diagrams and sat procedures for efficient symbolic model checking;on the completeness of compositional reasoning;counterexample-guided abstraction refinement;decision procedures for inductive Boolean functions based on alternating automata;a discrete strategy improvement algorithm for solving parity games;efficient algorithms for model checking pushdown systems;efficient detection of global properties in distributed systems using partial-order methods;efficient reachability analysis of hierarchical reactive machines;formal verification of VLIW microprocessors with speculative execution;liveness and acceleration in parameterized verification;mechanical verification of an ideal incremental ABR conformance algorithm;model checking continuous-time Markov chains by transient analysis;model-checking for hybrid systems by quotienting and constraints solving;efficient reachability analysis for verification and falsification and symbolic techniques for parametric reasoning about counter and clock systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Depth-Based Feature Enhancement for Volume Visualization

Depth-Based Feature Enhancement for Volume Visualization

引用

IEEE international conference on computer-aided design and computer graphics

作者： Bangjie Tang Zhiguang Zhou Hai Lin State Key Laboratory of CAD&CG Zhejiang University Hangzhou China

Direct volume rendering (DVR) is established as a powerful tool for volume visualization, which accumulates the color and opacity contributions by means of a simple light transport model. However, the mapping from data attributes to the optical properties is defined by transfer functions, the design of which is always a challenging and time-consuming task, even for expert users. In order to build informative images from original volume datasets without specifying intricate transfer functions, we present in this paper a depth-based feature enhancement visualization technique that could provide all features along the viewing ray at once, even with a simple linear transfer function. Once the accumulated opacity overflows, our approach resorts to an adaptive depth-based weighting to reduce the accumulated opacity value for adjusting the contribution of each voxel in the final pixel. To improve the visual perception of interesting features, such a modulation would be further enhanced when local maximum structures are encountered along the viewing ray. In addition, we provide a focus and context interaction and achieve a depth-based clipping operation to help users distinguish the order of internal structures. We conduct experiments on several volumetric datasets, and more structural information is presented and features of interest are largely enhanced in our rendering results, which further demonstrates the effectiveness of our proposed method.

关键词： Rendering (computer graphics) Transfer functions Modulation Context Equations Mathematical model Visual perception

来源：评论

学校读者我要写书评

暂无评论

Verification of infinite-state and parameterized systems 12th

Verification of infinite-state and parameterized systems

引用

12th international conference on computer aided Verification, CAV 2000

作者： Abdulla, Parosh Aziz Jonsson, Bengt Department of Computer Systems Uppsala University Uppsala Sweden

ISBN: (纸本)3540677704

Over the last few years there has been an increasing research effort directed towards the automatic verification of infinite-state systems. there are now verification techniques for many classes of infinite- state systems, including timed and hybrid automata, petri nets, push- down systems, systems with FIFO channels, systems with a simple treatment of data, etc. In this tutorial, we will cover general verification techniques that have been used for infinite-state and parameterized systems, and try to show their power and limitations. Such techniques are e.g., symbolic model-checking techniques, abstraction, induction over the networks structure, widening, and automata-based techniques. We will focus on linear-time safety and liveness properties. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Feature-Preserving Quantization for 3D Seismic Visualization

Feature-Preserving Quantization for 3D Seismic Visualization

引用

IEEE international conference on computer-aided design and computer graphics

作者： Junlian Shuai Zhiguang Zhou Bin Zhang Gang Hua Hai Lin State Key Laboratory of CAD&CG Zhejiang University Hangzhou China

Seismic volume datasets are usually obtained in 32-bit floating point precision, which makes them difficult to be processed on commodity computer due to their large size and high dynamic range (HDR). In this paper, we present a novel quantization method which not only compresses the size of seismic datasets, but also preserves the important seismic features such as detailed structures, local relevance structures and singularities. Our method first identifies the sub range of detailed structures by measuring the difference between the histograms of original datasets and those smoothed by bilateral filter. then, local relevance statistics (LRS) is proposed to determine sub ranges of local relevance structures. We also assign relatively small sub ranges for preserving some indispensable singularities. According to the piecewise coordinates, our feature-preserving quantization technique is conducted and the low dynamic range(LDR) datasets are generated. To further preserve the local contrast and keep the continuity of original datasets, tone reduction and Bezier curve are resorted to optimize our quantization process. As will be shown in the comparative study, our quantified LDR datasets could be easily rendered on normal graphic hardwares, and the rendering results still present the features of interest, which facilitate further seismic interpretations.

关键词： Quantization Histograms Periodic structures Rendering (computer graphics) Dynamic range Gaussian distribution Seismic measurements

来源：评论

学校读者我要写书评

暂无评论

Efficient reachability analysis of hierarchical reactive machines 12th

Efficient reachability analysis of hierarchical reactive mac...

引用

12th international conference on computer aided Verification, CAV 2000

作者： Alur, R. Grosu, R. McDougall, M. Department of Computer and Information Science University of Pennsylvania United States

ISBN: (纸本)3540677704

Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile them to existing model checkers. Aimed at exploiting the modular structure more effectively, our approach is to develop algorithms that work directly on the hierarchical structure. First, we report on an implementation of a visual hierarchical language with modular features such as nested modes, variable scoping, mode reuse, exceptions, group transitions, and history. then, we identify a variety of heuristics to exploit these modular features during reachability analysis. We report on an enumerative as well as a symbolic checker, and case studies. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

2.5D Focus+Context Map Visualization

2.5D Focus+Context Map Visualization

引用

IEEE international conference on computer-aided design and computer graphics

作者： Shuai Wang Bin Pan Xiaoming Guo Zhangye Wang Qunsheng Peng State Key Laboratory of CAD&CG Zhejiang University Hangzhou China College of Sciences Liaoning Shihua University Fushun China

Many applications involve map visualization. Nevertheless, almost all of them display the map in the same style, which often cause information overloading. In this paper, we present a novel user-centered 2.5D focus context map visualization technique. Instead of treating all the information equally, we can custom the map according to user requirements. the main contributions of our technique are in three aspects. Firstly, our system can automatically construct a hierarchical representation of the city according to the focus point of the users by using the R-trees data structure, then presenting users the map in multiple rendering styles, highlighting the user concerned information and deemphasizing the less important information. Secondly, a landmark margin is automatically added to the original map according to the points-of-interest(POI), which illustrates the context information and enables users to maintain a macro view of the city. Moreover, by applying the 2.5D technique, we can reduce the amount of data and accelerate the transport of the information. the results show that our user-centered map visualization technique can greatly improve the efficiency for users to get their concerned information.

关键词： Buildings Cities and towns Context three dimensional displays Rendering (computer graphics) Image color analysis Data visualization

来源：评论

学校读者我要写书评

暂无评论

Delaunay/Voronoi Dual Representation of Smooth 2-Manifolds

Delaunay/Voronoi Dual Representation of Smooth 2-Manifolds

引用

IEEE international conference on computer-aided design and computer graphics

作者： Wen-Yong Gong Yong-Jin Liu Tie-Ru Wu Institute of Mathematics Jilin University China Department of Computer Science Tsinghua University China

Delaunay triangulation and Voronoi diagram are widely used in computer graphics, computational geometry and other fields. Different from the planar case, Delaunay triangulation of a point set on smooth 2-manifolds does not always exist. In this paper we propose a new sampling requirement combining the maximal curvature, injectivity radius and convexity radius to guarantee the existence of Delaunay triangulation on 2-manifolds. After introducing the primal/dual efficient representation (PDER) structure [26], we develop a generalized PDER which not only represents Delaunay/Voronoi dual simply and efficiently, but also describes the surfaces with boundaries. Taking advantage of several operators for modeling and updating models, we employ generalized PDER to construct and operate Delaunay/Voronoi dual dynamically on smooth 2-manifolds. the generalized PDER is also a powerful tool for dual subdivision schemes. Many examples demonstrate the feasibility of our method and the generalized PDER.

关键词： Data structures Face Manifolds Geometry Solid modeling Joining processes computer graphics

来源：评论

学校读者我要写书评

暂无评论

Human Motion Synthesis Using Window-Based Local Principal Component Analysis

Human Motion Synthesis Using Window-Based Local Principal Co...

引用

IEEE international conference on computer-aided design and computer graphics

作者： Huajun Liu Fazhi He Xiantao Cai Xiao Chen Zhao Chen School of computer Wuhan University Wuhan China

this paper introduces an approach to performance animation that uses window-based principal component analysis (WLPCA). Our key idea is to construct a series of local models from a prerecorded motion database and utilize them to construct full-body human motion in a maximum a posteriori frame work. We have demonstrated the effectiveness of our approach by synthesizing a variety of human actions. Given an appropriate motion capture database, the results are comparable in quality to the ground truth data. We have also evaluated the performance of our approach by leave-one-out experiments and by comparing to two baseline algorithms.

关键词： Humans Dynamics Motion segmentation Predictive models Solid modeling Biological system modeling Databases

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共17页 << < 6 7 8 9 10 11 12 13 14 15 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：