{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,3]],"date-time":"2024-03-03T10:13:56Z","timestamp":1709460836474},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2012,5,22]],"date-time":"2012-05-22T00:00:00Z","timestamp":1337644800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2012,5,22]],"date-time":"2012-05-22T00:00:00Z","timestamp":1337644800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int. J. Mach. Learn. & Cyber."],"published-print":{"date-parts":[[2021,7]]},"DOI":"10.1007\/s13042-012-0096-6","type":"journal-article","created":{"date-parts":[[2012,5,21]],"date-time":"2012-05-21T07:57:22Z","timestamp":1337587042000},"page":"2151-2161","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Machine learning based air traffic control strategy"],"prefix":"10.1007","volume":"12","author":[{"given":"Amjad","family":"Rehman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,5,22]]},"reference":[{"key":"96_CR1","doi-asserted-by":"publisher","unstructured":"Saba T, Rehman A (2012) Effects of artificially intelligent tools on pattern recognition. Int J Mach Learn Cybern. doi:10.1007\/s13042-012-0082-z","DOI":"10.1007\/s13042-012-0082-z"},{"issue":"12","key":"96_CR2","first-page":"2799","volume":"6","author":"M Elarbi-Boudihir","year":"2011","unstructured":"Elarbi-Boudihir M, Rehman A, Saba T (2011) Video motion perception using operation gabor filter. Int J Phys Sci 6(12):2799\u20132806","journal-title":"Int J Phys Sci"},{"issue":"2","key":"96_CR3","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s10462-010-9186-6","volume":"35","author":"T Saba","year":"2011","unstructured":"Saba T, Sulong G, Rehman A (2011) Document image analysis: issues, comparison of methods and remaining problems. Artif Intell Rev Springer 35(2):101\u2013118. doi:10.1007\/s10462-010-9186-6","journal-title":"Artif Intell Rev Springer"},{"key":"96_CR4","unstructured":"Hanh TTB, Hung DV (2007) Verification of an air traffic control system with probabilistic real-time model checking. UNU-IIST, Report No. 355"},{"key":"96_CR5","doi-asserted-by":"publisher","unstructured":"Haron H, Rehman A, Adi DIS, Lim SP, Saba T (2012) Parameterization method on B-spline curve. Math Probl Eng. doi:10.1155\/2012\/640472","DOI":"10.1155\/2012\/640472"},{"issue":"5","key":"96_CR6","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1108\/00022660410555176","volume":"76","author":"A Cavcar","year":"2004","unstructured":"Cavcar A, Cavcar M (2004) Impact of aircraft performance differences on fuel consumption of aircraft in air traffic management environment. Aircr Eng Aerosp Technol 76(5):502\u2013515","journal-title":"Aircr Eng Aerosp Technol"},{"issue":"7","key":"96_CR7","doi-asserted-by":"publisher","first-page":"926","DOI":"10.1109\/5.871302","volume":"88","author":"C Livadas","year":"2000","unstructured":"Livadas C, Lygeros J, Lynch NA (2000) High level modeling and analysis of the traffic alert and collision avoidance system. Proc IEEE 88(7):926\u2013948","journal-title":"Proc IEEE"},{"issue":"4","key":"96_CR8","doi-asserted-by":"publisher","first-page":"355","DOI":"10.2514\/atcq.10.4.355","volume":"10","author":"H Erzberger","year":"2002","unstructured":"Erzberger H, Paielli RA (2002) Concept for next generation air traffic control system. Air Traffic Control Q 10(4):355\u2013378","journal-title":"Air Traffic Control Q"},{"key":"96_CR9","unstructured":"Erzberger H (2004) Transforming the NAS the next generation air traffic control system. In: Proceedings of the International Congress of the Aeronautical Sciences"},{"issue":"3","key":"96_CR10","first-page":"29","volume":"2","author":"A Rehman","year":"2008","unstructured":"Rehman A, Mohamad D (2008) A simple segmentation approach for unconstrained cursive handwritten words in conjunction of neural network. Int J Image Process 2(3):29\u201335","journal-title":"Int J Image Process"},{"issue":"1","key":"96_CR11","first-page":"32","volume":"17","author":"A Rehman","year":"2010","unstructured":"Rehman A, Saba T, Sulong G (2010) An intelligent approach to image denoising. J Theor Appl Inf Technol 17(1):32\u201336","journal-title":"J Theor Appl Inf Technol"},{"key":"96_CR12","unstructured":"Farley T, Erzberger H (2007) Fast time air traffic simulation of a conflict resolution algorithm under high air traffic demand. In: Proceedings of the USA Europe ATM Seminar"},{"issue":"12","key":"96_CR13","doi-asserted-by":"publisher","first-page":"1389","DOI":"10.3844\/jcssp.2010.1389.1395","volume":"6","author":"C Phetchanchai","year":"2010","unstructured":"Phetchanchai C, Selamat A, Rehman A, Saba T (2010) Index financial time series based on zigzag-perceptually important points. J Comput Sci 6(12):1389\u20131395","journal-title":"J Comput Sci"},{"issue":"9","key":"96_CR14","first-page":"5211","volume":"7","author":"T Saba","year":"2011","unstructured":"Saba T, Rehman A, Sulong G (2011) Improved statistical features for cursive character recognition. Int J Innov Comput Inf Control (IJICIC) 7(9):5211\u20135224","journal-title":"Int J Innov Comput Inf Control (IJICIC)"},{"issue":"4","key":"96_CR15","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/S0003-6870(02)00010-8","volume":"33","author":"ST Shorrock","year":"2002","unstructured":"Shorrock ST, Kirwan B (2002) Development and application of a human error identification tool for air traffic control. Appl Ergon 33(4):319\u2013336","journal-title":"Appl Ergon"},{"issue":"6","key":"96_CR16","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1108\/EUM0000000006228","volume":"73","author":"NE Debbache","year":"2001","unstructured":"Debbache NE (2001) Toward a new organization for air traffic control. Aircr Eng Aerosp Technol 73(6):561\u2013567","journal-title":"Aircr Eng Aerosp Technol"},{"issue":"5","key":"96_CR17","doi-asserted-by":"publisher","first-page":"888","DOI":"10.2514\/2.4982","volume":"25","author":"J Hu","year":"2002","unstructured":"Hu J, Prandini M, Sastry S (2002) Optimal coordinated maneuvers for three dimensional aircraft conflict resolution. J Guid Control Dyn 25(5):888\u2013900","journal-title":"J Guid Control Dyn"},{"key":"96_CR18","doi-asserted-by":"crossref","unstructured":"Cerone A, Lindsay PA, Connelly S (2005) Formal analysis of human-computer interaction using model-checking. 3rd IEEE International Conference on Software Engineering and Formal Methods, IEEE Computer Society, pp 352\u2013362","DOI":"10.1109\/SEFM.2005.19"},{"key":"96_CR19","unstructured":"Hwang I, Tomlin C (2002) Protocol-based conflict resolution for finite information horizon. In: Proceedings of the AACC American Control Conference, IEEE Publ., Piscataway, NJ"},{"key":"96_CR20","doi-asserted-by":"crossref","unstructured":"Jamal M, Zafar NA (2007) Requirements analysis of air traffic control system using formal methods. In: Proceedings of IEEE International Conference on Information and Emerging Technologies, pp 216\u2013222","DOI":"10.1109\/ICIET.2007.4381340"},{"key":"96_CR21","doi-asserted-by":"crossref","unstructured":"Kwiatkowska M, Norman G, Sproston J, Wang F (2004) Symbolic model checking for probabilistic timed automata. Joint Conference on Formal Modeling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant Systems, LNCS, Springer, 3253, pp 293\u2013308","DOI":"10.1007\/978-3-540-30206-3_21"},{"key":"96_CR22","unstructured":"Nguyen-Duc M, Briot JP, Drogoul A, Duong V (2003) An application of multiagent coordination techniques in air traffic management. In: Proceedings of the IEEE\/WIC International Conference on Intelligent Agent Technology, pp 622\u2013628"},{"issue":"4","key":"96_CR23","first-page":"525","volume":"3","author":"MSM Rahim","year":"2011","unstructured":"Rahim MSM, Rehman A, Faizal-Ab-Jabal M, Saba T (2011) Close spanning tree approach for error detection and correction for 2D CAD drawing\u201d. Int J Acad Res 3(4):525\u2013535","journal-title":"Int J Acad Res"},{"key":"96_CR24","doi-asserted-by":"crossref","unstructured":"Wolfe SR, Jarvis PA, Enomoto FY, Sierhuis M (2007) Comparing route selection strategies in collaborative traffic flow management. IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology, IEEE Press, Fremont, pp 59\u201362","DOI":"10.1109\/IAT.2007.54"},{"key":"96_CR25","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1016\/j.dsp.2011.01.016","volume":"21","author":"A Rehman","year":"2011","unstructured":"Rehman A, Saba T (2011) Performance analysis of segmentation approach for cursive handwritten word recognition on benchmark database. Digit Signal Process 21:486\u2013490","journal-title":"Digit Signal Process"},{"issue":"4","key":"96_CR26","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1109\/6979.898217","volume":"1","author":"JK Kuchar","year":"2000","unstructured":"Kuchar JK, Yang LC (2000) A review of conflict detection and resolution modeling methods. IEEE Trans Intell Transp Syst 1(4):179\u2013189","journal-title":"IEEE Trans Intell Transp Syst"},{"key":"96_CR27","unstructured":"Jamal M, Zafar NA (2007) Formal model of computer-based air traffic control system using Z notation. In: Proceedings of 17th International Conference on Computer Theory and Applications"},{"key":"96_CR28","doi-asserted-by":"crossref","unstructured":"Hwang I, Hwang J, Tomlin C (2003) Flight-mode-based aircraft conflict detection using a residual-mean interacting multiple model algorithm. In: Proceedings of the AIAA Guidance Navigation, and Control Conference","DOI":"10.2514\/6.2003-5340"},{"key":"96_CR29","unstructured":"Hwang I, Balakrishnan H, Roy K, Tomlin C (2004) Target tracking and identity management in clutter for air traffic control. In: Proceedings of the AACC American Control Conference"},{"issue":"5","key":"96_CR30","doi-asserted-by":"publisher","first-page":"781","DOI":"10.1016\/j.trc.2009.06.004","volume":"18","author":"L Weigang","year":"2010","unstructured":"Weigang L, Dib MVP, Alves DP, Crespo AMF (2010) Intelligent computing methods in air traffic flow management. Transp Res Part C Emerg Technol 18(5):781\u2013793","journal-title":"Transp Res Part C Emerg Technol"},{"key":"96_CR31","doi-asserted-by":"crossref","unstructured":"Hu J, Prandini M, Sastry S (2000) Optimal maneuver for multiple aircraft conflict resolution. A braid point of view. In: Proceedings of the 39th IEEE Conference on Decision and Control, vol 4, pp 4164\u20134169","DOI":"10.1109\/CDC.2000.912369"},{"key":"96_CR32","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1016\/j.trc.2010.03.006","volume":"18","author":"M Medina","year":"2010","unstructured":"Medina M, Sherry L, Feary M (2010) Automation for task analysis of next generation air traffic management systems. Transp Res Part C 18:921\u2013929","journal-title":"Transp Res Part C"},{"issue":"7","key":"96_CR33","first-page":"1","volume":"7","author":"T Saba","year":"2011","unstructured":"Saba T, Rehman A, Sulong G (2011) Cursive script segmentation with neural confidence. Int J Innov Comput Inf Control (IJICIC) 7(7):1\u201310","journal-title":"Int J Innov Comput Inf Control (IJICIC)"},{"key":"96_CR34","doi-asserted-by":"crossref","unstructured":"Clarke EM, Grumberg O, Jha S, Lu Y, Veith H (2001) Progress on the state explosion problem in model checking. Informatics, LNCS, Springer, Berlin, pp 176\u2013194","DOI":"10.1007\/3-540-44577-3_12"}],"container-title":["International Journal of Machine Learning and Cybernetics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13042-012-0096-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13042-012-0096-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13042-012-0096-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13042-012-0096-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,10]],"date-time":"2021-06-10T04:23:52Z","timestamp":1623299032000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s13042-012-0096-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5,22]]},"references-count":34,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2021,7]]}},"alternative-id":["96"],"URL":"https:\/\/doi.org\/10.1007\/s13042-012-0096-6","relation":{},"ISSN":["1868-8071","1868-808X"],"issn-type":[{"value":"1868-8071","type":"print"},{"value":"1868-808X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5,22]]},"assertion":[{"value":"21 November 2011","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 April 2012","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 May 2012","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}