咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是81-90 订阅
排序:
On-line Illumination Estimation of Outdoor Scenes Based on Area Selection for Augmented Reality
On-line Illumination Estimation of Outdoor Scenes Based on A...
收藏 引用
IEEE international conference on computer-aided design and computer graphics
作者: Guanyu Xing Yanli Liu Xueying Qin Qunsheng Peng State Key Laboratory of CAD & CG Zhejiang University Hangzhou China College of Computer Science Sichuan University Chengdu China School of Computer Science and Technique Shandong University Jinan China
In augmented reality, consistent illumination plays an important role when integrating a virtual object into a video of real scene. In this paper, we propose a novel image based framework to estimate-on-line the dynam... 详细信息
来源: 评论
Spherical Projective Displacement Mesh
Spherical Projective Displacement Mesh
收藏 引用
IEEE international conference on computer-aided design and computer graphics
作者: Jianxin Luo Guiqiang Ni Guyu Hu Jinsong Jiang Yifeng Duan LMNT Institute of Command Automation PLA University of Science & Technology Nanjing Jiangsu China
this paper presents a novel algorithm (We call it Spherical Projective Displacement Mesh algorithm)for large scale spherical terrain visualization. the algorithm generates terrain meshes by rotating, displaces mesh ve... 详细信息
来源: 评论
Detecting Ambiguities in 3D Polygons with Self-Intersecting Projections
Detecting Ambiguities in 3D Polygons with Self-Intersecting ...
收藏 引用
IEEE international conference on computer-aided design and computer graphics
作者: Weishi Li School of Instrument Science Hefei University of Technology Hefei China
If a given 3D polygon has a self-intersecting projection which can bound several in equivalent disk-like surfaces in space, we say the polygon is ambiguous. In this paper, we propose a decomposition scheme for 3D poly... 详细信息
来源: 评论
Verification diagrams revisited: Disjunctive invariants for easy verification  12th
Verification diagrams revisited: Disjunctive invariants for ...
收藏 引用
12th international conference on computer aided Verification, CAV 2000
作者: Rushby, John Computer Science Laboratory SRI International 333 Ravenswood Avenue Menlo ParkCA94025 United States
I describe a systematic method for deductive verification of safety properties of concurrent programs. the method has much in common with the "verification diagrams" of Manna and Pnueli [17], but derives fro... 详细信息
来源: 评论
Automatic Generation of Canonical Views for cad Models
Automatic Generation of Canonical Views for CAD Models
收藏 引用
IEEE international conference on computer-aided design and computer graphics
作者: Kaimo Hu Bin Wang Bin Yuan Junhai Yong Key Laboratory for Information System Security Ministry of Education Beijing China Department of Computer Science and Technology Tsinghua University Beijing China School of Software Tsinghua University Beijing China Tsinghua National Laboratory for Information Science and Technology Beijing China
Selecting the best views for 3D objects is useful for many applications. However, with the existing methods applied in cad models, the results neither exhibit the 3D structures of the models fairly nor conform to huma... 详细信息
来源: 评论
An Example-Driven Symbol Recognition Approach Based on Key Features in Engineering Drawings
An Example-Driven Symbol Recognition Approach Based on Key F...
收藏 引用
IEEE international conference on computer-aided design and computer graphics
作者: Tiantian Guo Hui Zhang Yamei Wen Key Laboratory for Information System Security Ministry of Education Beijing China School of Software Tsinghua University Beijing China Tsinghua National Laboratory for Information Science and Technology Beijing China
In this paper, we present an example-driven symbol recognition algorithm based on its key features in cad engineering drawings. When user provides an example of a specific symbol, the input symbol is analyzed and its ... 详细信息
来源: 评论
A "Change 'n Play" Software Architecture Integrating cad, CAE and Immersive Real-Time Environments
A "Change 'n Play" Software Architecture Integrating CAD, CA...
收藏 引用
IEEE international conference on computer-aided design and computer graphics
作者: Holger Graf Virtual and Augmented Reality Fraunhofer IGD Darmstadt Germany
this paper presents a "change'n play" software architecture in order to realize user-centric aspects for, integrated engineering analysis tasks within immersive environments. the proposed architecture ha... 详细信息
来源: 评论
Finite Element Mesh Editing through cad Operations
Finite Element Mesh Editing through CAD Operations
收藏 引用
IEEE international conference on computer-aided design and computer graphics
作者: Hua Zhu Chenghao Hu Shuming Gao State Key Laboratory of CAD&CG Zhejiang University Hangzhou China
In the process of numerical simulation, Finite Element Analysis (FEA) is commonly used for product design optimization. the product model has to be modified according to its associated optimization result obtained bas... 详细信息
来源: 评论
Multi-GPU Compositeless Parallel Rendering Algorithm
Multi-GPU Compositeless Parallel Rendering Algorithm
收藏 引用
IEEE international conference on computer-aided design and computer graphics
作者: Pan Wang Huahai Liu Sikun Li Liang Zeng Xun Cai
Due to its high performance/cost ratio, a single PC equipped with multi-GPU is an attractive platform for large scale scene rendering and visualization. In this paper, we present a compositeless parallel rendering alg... 详细信息
来源: 评论
Integrating WS1S with PVS  12th
Integrating WS1S with PVS
收藏 引用
12th international conference on computer aided Verification, CAV 2000
作者: Owre, Sam Rueß, Harald Computer Science Laboratory SRI International 333 Ravenswood Ave Menlo ParkCA94025 United States
there is a growing trend to integrate theorem proving systems with specialized decision procedures and model checking systems. the proving capabilities of the PVS theorem prover, for example, have been improved consid...
来源: 评论