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

Search Results

Help

Item hits: (Results 1-10 of 10)

Filters    
Items/Page:    Sort:
Multilevel interaction model for hierarchical tasks in information visualization [会议论文]
6th International Symposium on Visual Information Communication and Interaction, VINCI 2013, Tianjin, China, August 17, 2013 - August 18, 2013
Ren, Lei (1); Cui, Jin (1); Du, Yi (2); Dai, Guozhong (2)

 
a reinforcement learning based tag recommendation [会议论文]
Ge Feng; He Yi; Liu Jin; Lv Xiaoming; Zhang Wensheng; Li Yiqun

 
dichotomy for holant* problems of boolean domain [会议论文]
22nd Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2011, San Francisco, CA, United states, 23-Jan
Cai Jin-Yi; Lu Pinyan; Xia Mingji
  |  
 
holographic algorithms by fibonacci gates [会议论文]
Cai Jin-Yi; Lu Pinyan; Xia Mingji
  |  
 
holographic algorithms with matchgates capture precisely tractable planar #csp [会议论文]
2010 IEEE 51st Annual Symposium on Foundations of Computer Science, FOCS 2010, Las Vegas, NV, United states, 40839
Cai Jin-Yi; Lu Pinyan; Xia Mingji
  |  
 
a computational proof of complexity of some restricted counting problems [会议论文]
6th Annual Conference on Theory and Applications of Models of Computation, TAMC 2009, Changsha, China, 43969
Cai Jin-Yi; Lu Pinyan; Xia Mingji
  |  
 
approximation and hardness results for label cut and related problems [会议论文]
6th Annual Conference on Theory and Applications of Models of Computation, TAMC 2009, Changsha, China, 43969
Zhang Peng; Cai Jin-Yi; Tang Linqing; Zhao Wenbo

 
holographic algorithms by fibonacci gates and holographic reductions for hardness [会议论文]
49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008, Philadelphia, PA, United states, 40841
Cai Jin-Yi; Lu Pinyan; Xia Mingji
  |  
 
enhancing simulation for checking language containment [会议论文]
4th International Conference on Theory and Applications of Models of Computation, Shanghai, PEOPLES R CHINA, MAY 22-25,
Yi Jin; Zhang Wenhui
  |  
 
efficient state space reduction for automata by fair simulation [会议论文]
International Symposium on Fundamentals of Software Engineering, Tehran, IRAN, APR 17-19,
Yi Jin; Zhang Wenhui
  |  
 

1

 

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