Personensuche
X
?
2023 IEEE International Conference on Data Mining (ICDM) ,
1
Rule Mining for Correcting Classification Models:
, In:
?
Proceedings of the 2016 Winter Simulation Conference ,
2
Agent-based simulation analysis for security planning based..:
, In:
?
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems ,
3
Simplifying Urban Network Security Games with Cut-Based Gra..:
, In:
?
Proceedings of the 2000 Asia and South Pacific Design Automation Conference ,
4
Formal verification based on assume and guarantee approach ..:
, In:
?
Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design ,
5
Forward model checking techniques oriented to buggy designs:
, In:
?
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design ,
6
CTL model checking based on forward state traversal:
, In:
?
Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design ,
7
Automatic test program generation for pipelined processors:
, In:
?
2023 IEEE/ACIS 8th International Conference on Big Data, Cloud Computing, and Data Science (BCD) ,
8
Tourist Route Recommendation Framework with Potential Trave..:
, In:
1-8