共 50 条
- [31] Temporal Qualification and Change with First-Order Binary Predicates FORMAL ONTOLOGY IN INFORMATION SYSTEMS, 2006, 150 : 155 - 166
- [33] Total variation minimization and a class of binary MRF models ENERGY MINIMIZATION METHODS IN COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS, 2005, 3757 : 136 - 152
- [35] A first-order one-pass CPS transformation FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2002, 2303 : 98 - 113