共 50 条
- [1] On subsumption removal and on-the-fly CNF simplification THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, PROCEEDINGS, 2005, 3569 : 482 - 489
- [2] On-The-Fly Lazy Clause Simplification based on Binary Resolvents 2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2013, : 987 - 995
- [5] Aiding parallel programming with on-the-fly dependence visualisation 2009 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES (PDCAT 2009), 2009, : 475 - 481
- [6] Projection Boxes: On-the-fly Reconfigurable Visualization for Live Programming PROCEEDINGS OF THE 2020 CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI'20), 2020,
- [7] Online program simplification in genetic programming SIMULATED EVOLUTION AND LEARNING, PROCEEDINGS, 2006, 4247 : 592 - 600
- [8] A Relaxed Approach to Simplification in Genetic Programming GENETIC PROGRAMMING, PROCEEDINGS, 2010, 6021 : 110 - +
- [9] On-The-Fly Data Integration Models for Biological Databases APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 118 - +
- [10] On-The-Fly Secure Key Generation with Deterministic Models 2017 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), 2017,