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

Search Results

Help

Item hits: (Results 1-3 of 3)

Filters    
Items/Page:    Sort:
an improved algorithm for eleman neural network by adding a modified error function [会议论文]
4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, 43985
Zhang Zhiqiang; Tang Zheng; Tang GuoFeng; Vairappan Catherine; Wang XuGang; Xiong RunQun
  |  
 
verification of actl properties by bounded model checking [会议论文]
11th International Conference on Computer Aided Systems Theory, Las Palmas, SPAIN, FEB 12-16,
Zhang Wenhui
  |  
 
model checking with sat-based characterization of actl formulas [会议论文]
9th International Conference on Formal Engineering Methods (ICFEM 2007), Boca Raton, FL, NOV 14-15,
Zhang Wenhui
  |  
 

1

 

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