Marianne Brown
Title
Cited by
Cited by
Year
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
82005
PTTP+ GLiDeS: Guiding linear deductions with semantics
M Brown, G Sutcliffe
Advanced Topics in Artificial Intelligence, 244-254, 1999
71999
System description: PTTP+ GLiDeS semantically guided PTTP
M Brown, G Sutcliffe
Automated Deduction-CADE-17, 411-416, 2000
62000
PTTP+ GLiDeS: Using models to guide linear deductions
M Brown, G Sutcliffe
Proceedings of Workshop on Model Computation–Principles, Algorithms, and …, 2000
32000
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
The system can't perform the operation now. Try again later.
Articles 1–7