{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T20:54:01Z","timestamp":1776891241058,"version":"3.51.2"},"reference-count":41,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","issue":"3","license":[{"start":{"date-parts":[[2008,11,7]],"date-time":"2008-11-07T00:00:00Z","timestamp":1226016000000},"content-version":"unspecified","delay-in-days":4878,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Funct. Prog."],"published-print":{"date-parts":[[1995,7]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>The construction of a parallel vision system from Standard ML prototypes is presented. The system recognises 3D objects from 2D scenes through edge detection, grouping of edges into straight lines and line junction based model matching. Functional prototyping for parallelism is illustrated through the development of the straight line detection component. The assemblage of the whole system from prototyped components is then considered and its performance discussed.<\/jats:p>","DOI":"10.1017\/s0956796800001398","type":"journal-article","created":{"date-parts":[[2008,11,7]],"date-time":"2008-11-07T11:11:58Z","timestamp":1226056318000},"page":"345-382","source":"Crossref","is-referenced-by-count":9,"title":["Prototyping a parallel vision system in Standard ML"],"prefix":"10.46298","volume":"5","author":[{"given":"Greg","family":"Michaelson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norman","family":"Scaife","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"25203","published-online":{"date-parts":[[2008,11,7]]},"reference":[{"key":"S0956796800001398_ref004","unstructured":"Bailey P. R. and Newey M. C. (1994) An Extension of ML for Distributed Memory Multicomputers. Technical report, Department of Compuuter Science, Australian National University."},{"key":"S0956796800001398_ref006","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1987.1663386"},{"key":"S0956796800001398_ref018","doi-asserted-by":"publisher","DOI":"10.1016\/0031-3203(78)90023-7"},{"key":"S0956796800001398_ref020","volume-title":"Proc. PaSCo94","author":"Hammond","year":"1994"},{"key":"S0956796800001398_ref028","unstructured":"Kozato Y. (1994) Lazy Image Processing: An Investigation into Applications of Lazy Functional Languages in Image Processing. PhD thesis, University of London."},{"key":"S0956796800001398_ref012","unstructured":"Busvine D. (1993) Detecting Parallel Structures in Functional Programs. PhD thesis, Heriot-Watt University."},{"key":"S0956796800001398_ref021","unstructured":"Hough P. V. C. (1962) Method and Means for Recognising Complex Patterns. U.S. Patent No. 3069654."},{"key":"S0956796800001398_ref024","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18317-5_7"},{"key":"S0956796800001398_ref009","unstructured":"Bratvold T. (1994) Skeleton-based Parallelisation of Functional Programs. PhD thesis, Department of Computing and Electrical Engineering, Heriot-Watt University."},{"key":"S0956796800001398_ref036","volume-title":"The Implementation of Functional Languages.","author":"Peyton Jones","year":"1987"},{"key":"S0956796800001398_ref014","volume-title":"HIPS: Image Processing Under Unix Software and Applications","author":"Cohen","year":"1982"},{"key":"S0956796800001398_ref001","doi-asserted-by":"publisher","DOI":"10.1016\/0031-3203(89)90034-4"},{"key":"S0956796800001398_ref002","doi-asserted-by":"publisher","DOI":"10.1016\/0262-8856(91)90004-9"},{"key":"S0956796800001398_ref003","unstructured":"Austin W. J. and Scaife N. R. (1994) Reconfigurable Parallel Vision System: Informal Specification. Technical Report RM\/94\/4, Dept. of Computing and Electrical Engineering, Heriot-Watt University, April."},{"key":"S0956796800001398_ref007","doi-asserted-by":"publisher","DOI":"10.1016\/0031-3203(89)90038-1"},{"key":"S0956796800001398_ref031","unstructured":"Lotufo R. A. , Dagless E. L. , Milford D. J. , Morgan A. D. , Morrissey J. F. and Thomas B. T. (1989) Hough transform for transputer arrays. In: Proc. 3rd International Conference on Image Processing and its Applications, Warwick, UK, pp. 122\u2013130."},{"key":"S0956796800001398_ref040","doi-asserted-by":"publisher","DOI":"10.1109\/2.121474"},{"key":"S0956796800001398_ref008","unstructured":"Bratvold T. (1993) A Skeleton-Based Parallelising Compiler for ML. In: R. Plasmeijer and M. van Eekelen , eds., Proc. 5th International Workshop on Implementation of Functional Languages,Nijmegen,The Netherlands, pp. 23\u201333, September."},{"key":"S0956796800001398_ref038","volume-title":"High Integrity Compilation: A Case Study.","author":"Stepney","year":"1993"},{"key":"S0956796800001398_ref010","volume-title":"Programming in Occam2.","author":"Burns","year":"1988"},{"key":"S0956796800001398_ref011","unstructured":"Busvine D. (1991) Translation of SML to Sequential Occam2. Technical Report TR91\/7, Department of Computing and Electrical Engineering, Heriot-Watt University."},{"key":"S0956796800001398_ref016","first-page":"300","volume-title":"The Design and Implementation of ALICE: a Parallel Graph Reduction Machine","author":"Cripps","year":"1987"},{"key":"S0956796800001398_ref013","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.1986.4767851"},{"key":"S0956796800001398_ref017","first-page":"146","volume-title":"PARLE 1993 Parallel Architectures and Languages Europe","author":"Darlington","year":"1993"},{"key":"S0956796800001398_ref019","volume-title":"Parallel SML: a Functional Language and its Implementation in Dactl","author":"Hammond","year":"1991"},{"key":"S0956796800001398_ref026","volume-title":"Image Processing System Architectures","author":"Kittler","year":"1985"},{"key":"S0956796800001398_ref029","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/6.4.308"},{"key":"S0956796800001398_ref022","first-page":"87","article-title":"SURVEY: A Survey of the Hough Transform","volume":"44","author":"Illingworth","year":"1988","journal-title":"CVGIP"},{"key":"S0956796800001398_ref023","unstructured":"Inmos Ltd. (1988) Occam2 Reference Manual."},{"key":"S0956796800001398_ref025","unstructured":"Kelly P. H. J. (1987) Functional Languages for Loosely Coupled Microprocessors. PhD thesis, Imperial College, University of London."},{"key":"S0956796800001398_ref027","unstructured":"Koutsakis G. (1993) Parallel Low Level Vision from Functional Prototypes. Master's thesis, Department of Computing and Electrical Engineering, Heriot-Watt University."},{"key":"S0956796800001398_ref030","doi-asserted-by":"publisher","DOI":"10.1006\/ciun.1993.1041"},{"key":"S0956796800001398_ref032","unstructured":"May M. D. and Shepherd R. (1987) Communicating Process Computers. Technical Note 22, Inmos Ltd, UK."},{"key":"S0956796800001398_ref033","unstructured":"McAndrew P. (1990) Recognising and Locating Objects in Two Dimensional Perspective Views. PhD thesis, Department of Computing and Electrical Engineering, Heriot-Watt University."},{"key":"S0956796800001398_ref035","volume-title":"The Definition of Standard ML.","author":"Milner","year":"1990"},{"key":"S0956796800001398_ref037","doi-asserted-by":"publisher","DOI":"10.1016\/0734-189X(88)90104-1"},{"key":"S0956796800001398_ref015","volume-title":"Algorithmic Skeletons: Structured Management of Parallel Computation","author":"Cole","year":"1989"},{"key":"S0956796800001398_ref039","unstructured":"Tarditi D. and Diwan A. (1993) The Full Cost of a Generational Copying Garbage Collection Implementation. Technical report, School of Computer Science, Carnegie Mellon University."},{"key":"S0956796800001398_ref041","unstructured":"Waugh K. , McAndrew P. A. and Michaelson G. J. (1990) Parallel Implementations from Functional Prototypes: A Case Study. Technical Report TR90\/4, Heriot-Watt University."},{"key":"S0956796800001398_ref005","doi-asserted-by":"publisher","DOI":"10.1016\/0031-3203(81)90009-1"},{"key":"S0956796800001398_ref034","unstructured":"McAndrew P. and Wallace A. M. (1989) Rapid invocation and matching of 2d images to 3d models using curvilinear data. In: Proc. 3rd International Conference on Image Processing and its Applications, Warwick, UK, pp. 83\u201387."}],"container-title":["Journal of Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0956796800001398","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T20:18:06Z","timestamp":1776889086000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0956796800001398\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,7]]},"references-count":41,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,7]]}},"alternative-id":["S0956796800001398"],"URL":"https:\/\/doi.org\/10.1017\/s0956796800001398","relation":{},"ISSN":["0956-7968","1469-7653"],"issn-type":[{"value":"0956-7968","type":"print"},{"value":"1469-7653","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,7]]}}}