中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 14)

Filters    
Items/Page:    Sort:
probabilistic model checking on propositional projection temporal logic [会议论文]
International MultiConference of Engineers and Computer Scientists 2011, IMECS 2011, Kowloon, Hong kong, March 16,
Yang Xiaoxiao
  |  
 
symbolic decision procedure for termination of linear programs [会议论文]
symbolic decision procedure for termination of linear programs, 北京, 2011
Xia Bican; Yang Lu; Zhan Naijun; Zhang Zhihai
  |  
 
stroke extraction in cartoon images using edge-enhanced isotropic nonlinear filter [会议论文]
9th ACM SIGGRAPH International Conference on VR Continuum and Its Applications in Industry, VRCAI 2010, Seoul, Korea, Republic of, 40878
Huang Mengcheng; Yang Meng; Liuy Fang; Wuz En-Hua
  |  
 
retracted article: physically-based modeling and animation of tree branch patterns [会议论文]
The Visual Computer, 北京, 2010
Yang Meng; Sheng Bin; Wu Enhua; Sun Hanqiu

 
axiomatic temporal logic programs verification [会议论文]
2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25,
Yang Xiaoxiao; Duan Zhenhua
  |  
 
weathering fur simulation [会议论文]
VRST 2009 - 16th ACM Symposium on Virtual Reality Software and Technology, Kyoto, Japan, 40848
Jiao Shaohui; Yang Gang; Wu Enhua
  |  
 
furstyling on angle-split shell textures [会议论文]
22nd International Conference on Computer Animation and Social Agents (CASA 2009), Amsterdam, NETHERLANDS, JUN 17-19,
Sheng Bin; Sun Hanqiu; Yang Gang; Wu Enhua

 
multi-level tree branch modeling and animation [学位论文]
, 2009-01-01
Yang Meng; Sheng Bin; Wu Enhua; Sun Hanqiu

 
simplifying 3d polygonal chains under the discrete fréchet distance [会议论文]
8th Latin American TheoreticalINformatics Symposium, LATIN 2008, Buzios, Brazil, 37353
Bereg Sergey; Jiang Minghui; Wang Wencheng; Yang Boting; Zhu Binhai
  |  
 
interactive fur shaping and rendering using nonuniform-layered textures [期刊论文]
IEEE COMPUTER GRAPHICS AND APPLICATIONS, 2008-01-01, 卷号: 28, 期号: 4, 页码: 85-93
Yang Gang; Sun Hanqiu; Wu Enhua; Wang Lifeng
  |  
 

1 2 next

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace