Image segmentation of retinal vessels by fuzzy models TD Pham, DT Tran, M Brown, RL Kennedy 2005 International Symposium on Intelligent Signal Processing and …, 2005 | 8 | 2005 |
PTTP+ GLiDeS: Guiding linear deductions with semantics M Brown, G Sutcliffe Advanced Topics in Artificial Intelligence, 244-254, 1999 | 7 | 1999 |
System description: PTTP+ GLiDeS semantically guided PTTP M Brown, G Sutcliffe Automated Deduction-CADE-17, 411-416, 2000 | 6 | 2000 |
PTTP+ GLiDeS: Using models to guide linear deductions M Brown, G Sutcliffe Proceedings of Workshop on Model Computation–Principles, Algorithms, and …, 2000 | 3 | 2000 |
Guiding linear deductions with semantics ME Brown James Cook University, 2003 | | 2003 |
Selecting Semantics for Use with Semantic Pruning of Linear Deductions M Brown Australian Joint Conference on Artificial Intelligence, 719-719, 2002 | | 2002 |
APE: The Amazing Prolog Editor M Brown | | 1995 |