{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T13:36:39Z","timestamp":1725975399162},"publisher-location":"Singapore","reference-count":11,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811300196"},{"type":"electronic","value":"9789811300202"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-981-13-0020-2_36","type":"book-chapter","created":{"date-parts":[[2018,4,25]],"date-time":"2018-04-25T11:58:14Z","timestamp":1524657494000},"page":"410-423","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Automatic Synthesis of Boolean Expression and Error Detection from Logic Circuit Sketches"],"prefix":"10.1007","author":[{"given":"Sahil","family":"Dhiman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pushpinder","family":"Garg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Divya","family":"Sharma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiranjoy","family":"Chattopadhyay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,26]]},"reference":[{"issue":"6","key":"36_CR1","first-page":"467","volume":"7","author":"S Abbasi","year":"1999","unstructured":"Abbasi, S., Mokhtarian, F., Kittler, J.: Curvature scale space image in shape similarity retrieval. MS 7(6), 467\u2013476 (1999)","journal-title":"MS"},{"key":"36_CR2","doi-asserted-by":"crossref","unstructured":"Alvarado, C., Davis, R.: SketchREAD: a multi-domain sketch recognition engine. In: UIST (2004)","DOI":"10.1145\/1029632.1029637"},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"Alvarado, C., Davis, R.: Resolving ambiguities to create a natural computer-based sketching environment. In: ACM SIGGRAPH 2006 Courses, p. 24. ACM (2006)","DOI":"10.1145\/1185657.1185785"},{"key":"36_CR4","series-title":"Human\u2013Computer Interaction Series","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-319-15594-4_8","volume-title":"The Impact of Pen and Touch Technology on Education","author":"C Alvarado","year":"2015","unstructured":"Alvarado, C., Kearney, A., Keizur, A., Loncaric, C., Parker, M., Peck, J., Sobel, K., Tay, F.: LogiSketch: a free-sketch digital circuit design and simulation SystemLogiSketch. In: Hammond, T., Valentine, S., Adler, A., Payton, M. (eds.) The Impact of Pen and Touch Technology on Education. HIS, pp. 83\u201390. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-15594-4_8"},{"key":"36_CR5","doi-asserted-by":"crossref","unstructured":"Cheng, T., Khan, J., Liu, H., Yun, D.Y.Y.: A symbol recognition system. In: DAR, pp. 918\u2013921 (1993)","DOI":"10.1109\/ICDAR.1993.395587"},{"key":"36_CR6","doi-asserted-by":"crossref","unstructured":"Datta, R., Mandal, P.D.S., Chanda, B.: Detection and identification of logic gates from document images using mathematical morphology. In: NCVPRIPG (2015)","DOI":"10.1109\/NCVPRIPG.2015.7490040"},{"issue":"4","key":"36_CR7","first-page":"44:1","volume":"31","author":"M Eitz","year":"2012","unstructured":"Eitz, M., Hays, J., Alexa, M.: How do humans sketch objects? ACM Trans. Graph. (Proc. SIGGRAPH) 31(4), 44:1\u201344:10 (2012). (Proc. SIGGRAPH)","journal-title":"ACM Trans. Graph. (Proc. SIGGRAPH)"},{"key":"36_CR8","doi-asserted-by":"crossref","unstructured":"Hammond, T., Davis, R.: Tahuti: a geometrical sketch recognition system for UML class diagrams. In: ACM SIGGRAPH 2006 Courses, p. 25. ACM (2006)","DOI":"10.1145\/1185657.1185786"},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"Ouyang, T.Y., Davis, R.: ChemInk: a natural real-time recognition system for chemical drawings. In: IUIT, pp. 267\u2013276. ACM (2011)","DOI":"10.1145\/1943403.1943444"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"Patel, R., Plimmer, B., Grundy, J., Ihaka, R.: Ink features for diagram recognition. In: SBIM (2007)","DOI":"10.1145\/1384429.1384457"},{"issue":"4","key":"36_CR11","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1145\/127719.122753","volume":"25","author":"D Rubine","year":"1991","unstructured":"Rubine, D.: Specifying gestures by example. SIGGRAPH Comput. Graph. 25(4), 329\u2013337 (1991)","journal-title":"SIGGRAPH Comput. Graph."}],"container-title":["Communications in Computer and Information Science","Computer Vision, Pattern Recognition, Image Processing, and Graphics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-13-0020-2_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,25]],"date-time":"2018-04-25T12:16:55Z","timestamp":1524658615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-13-0020-2_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9789811300196","9789811300202"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-981-13-0020-2_36","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]}}}