{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:49:03Z","timestamp":1740098943006,"version":"3.37.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319664705"},{"type":"electronic","value":"9783319664712"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66471-2_15","type":"book-chapter","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T15:25:30Z","timestamp":1502378730000},"page":"134-143","source":"Crossref","is-referenced-by-count":8,"title":["Integration of Corporate Electronic Services into a Smart Space Using Temporal Logic of Actions"],"prefix":"10.1007","author":[{"given":"Dmitriy","family":"Levonevskiy","sequence":"first","affiliation":[]},{"given":"Irina","family":"Vatamaniuk","sequence":"additional","affiliation":[]},{"given":"Anton","family":"Saveliev","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,11]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Kopacek, T.: Development trends in robotics. In: International Federation of Automatic Control Conference Paper, pp. 36\u201341 (2016)","DOI":"10.1016\/j.ifacol.2016.11.070"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Toro, C., Barandiaran, I., Posada, J.: A perspective on knowledge based and intelligent systems implementation in industrie 4.0. In: 19th International Conference on Knowledge Based and Intelligent Information and Engineering Systems, Procedia Computer Science, vol. 60, pp. 362\u2013370 (2015)","DOI":"10.1016\/j.procs.2015.08.143"},{"key":"15_CR3","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/j.imavis.2016.11.004","volume":"59","author":"I Lillo","year":"2017","unstructured":"Lillo, I., Niebles, J.C., Soto, A.: Sparse composition of body poses and atomic actions for human activity recognition in RGB-D videos. Image Vis. Comput. 59, 63\u201375 (2017)","journal-title":"Image Vis. Comput."},{"key":"15_CR4","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/j.patcog.2017.01.001","volume":"65","author":"D Singh","year":"2017","unstructured":"Singh, D., Mohan, C.K.: Graph formulation of video activities for abnormal activity recognition. Pattern Recogn. 65, 265\u2013272 (2017)","journal-title":"Pattern Recogn."},{"key":"15_CR5","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1016\/j.eswa.2017.03.052","volume":"81","author":"G Batchuluun","year":"2017","unstructured":"Batchuluun, G., Kim, J.H., Hong, H.G.: Fuzzy system based human behavior recognition by combining behavior prediction and recognition. Expert Syst. Appl. 81, 108\u2013133 (2017)","journal-title":"Expert Syst. Appl."},{"issue":"2","key":"15_CR6","first-page":"170","volume":"21","author":"SV Glazkov","year":"2012","unstructured":"Glazkov, S.V., Ronzhin, A.L.: Context-dependent methods of automatic generation of multimodal user web-interfaces. SPIIRAS Proc. 21(2), 170\u2013183 (2012)","journal-title":"SPIIRAS Proc."},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/978-3-319-07437-5_35","volume-title":"Universal Access in Human-Computer Interaction. Design and Development Methods for Universal Access","author":"A Karpov","year":"2014","unstructured":"Karpov, A., Ronzhin, A.: A universal assistive technology with multimodal input and multimedia output interfaces. In: Stephanidis, C., Antona, M. (eds.) UAHCI 2014. LNCS, vol. 8513, pp. 369\u2013378. Springer, Cham (2014). doi: 10.1007\/978-3-319-07437-5_35"},{"key":"15_CR8","doi-asserted-by":"crossref","first-page":"836","DOI":"10.17587\/mau.16.836-840","volume":"12","author":"VY Osipov","year":"2015","unstructured":"Osipov, V.Y.: Neyrosetevoe prognozirovanie sobytiy dlya intellektual\u2019nyh robotov. Mehatronika, avtomatizatsiya upravlenie 12, 836\u2013840 (2015). (in Russian)","journal-title":"Mehatronika, avtomatizatsiya upravlenie"},{"key":"15_CR9","unstructured":"Encyclopedia on automatic control systems for technological processes, Chapter 1.3. http:\/\/www.bookasutp.ru\/"},{"key":"15_CR10","unstructured":"Di Flora, C., Gurp, J.C., Prehofer, C.: Towards effective smart space application development: impediments and research challenges. In: Proceedings of International Conference on Pervasive Computing: Common Models and Patterns for Pervasive Computing Workshop, pp. 1\u20132 (2007)"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Langeheinrich, M.: Privacy by design \u2013 principles of privacy aware ubiquitous system. In: Proceedings of UBICOMP Conference, pp. 273\u2013291 (2011)","DOI":"10.1007\/3-540-45427-6_23"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Nixon, P.A., Wagealla, W., English, C., Terzis, S.: Chapter 11. Security, privacy and trust issues in smart environments. In: Smart Environments: Technologies, Protocols, and Applications. Wiley, New York (2005)","DOI":"10.1002\/047168659X.ch11"},{"key":"15_CR13","doi-asserted-by":"crossref","first-page":"120","DOI":"10.17587\/prin.8.120-128","volume":"3","author":"DK Levonevskiy","year":"2017","unstructured":"Levonevskiy, D.K., Vatamaniuk, I.V., Saveliev, A.I.: Multimodal information and navigation cloud system (\u201cMINOS\u201d) for the corporate cyber-physical smart space. Programmnaya Inzheneriya 3, 120\u2013128 (2017). (In Russian)","journal-title":"Programmnaya Inzheneriya"},{"key":"15_CR14","unstructured":"Demri, S., Gastin, P.: Specification and verification using temporal logics. In: Modern applications of automata theory. IIsc Research Monographs, vol. 2. World Scientific, Singapore (2009)"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/11867340_13","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"GE Fainekos","year":"2006","unstructured":"Fainekos, G.E., Girard, A., Pappas, G.J.: Temporal logic verification using simulation. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol. 4202, pp. 171\u2013186. Springer, Heidelberg (2006). doi: 10.1007\/11867340_13"},{"issue":"2","key":"15_CR16","first-page":"277","volume":"220","author":"C Liu","year":"1999","unstructured":"Liu, C., Orgun, M.A.: Verification of reactive systems using temporal logic with clocks. Theoret. Comput. Sci. 220(2), 277\u2013408 (1999)","journal-title":"Theoret. Comput. Sci."},{"issue":"3","key":"15_CR17","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1134\/S1054661815030207","volume":"25","author":"AI Saveliev","year":"2015","unstructured":"Saveliev, A.I., Ronzhin, A.L.: Algorithms and software tools for distribution of multimedia data streams in client server videoconferencing applications. Pattern Recognition and Image Analysis 25(3), 517\u2013525 (2015)","journal-title":"Pattern Recognition and Image Analysis"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Kanev, K. et al.: A human computer interactions framework for biometric user identification. In: JJAP Conference Proceedings. The Japan Society of Applied Physics, vol. 4 (2015)","DOI":"10.56646\/jjapcp.4.0_011601"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Ivanov D., Sokolov B., Dashevsky V. RFID-based Adaptive feedbacks between supply chain scheduling and execution control. In: Proceedings of 18th IFAC World Congress, Milano (Italy), 28 August\u20132 September 2011 [CD]. International Federation of Automatic Control, Prague, pp. 435\u2013440 (2011)","DOI":"10.3182\/20110828-6-IT-1002.02098"},{"key":"15_CR20","unstructured":"Ronzhin, A.L., Karpov, A.A., Lobanov, B.M., Tsirulnik, L.I., Jokisch, O.: Phonetic-morphological mapping of speech corpora for recognition and synthesis of Russian speech. Informacionno-upravljajushhie sistemy 25(6), 24\u201334 (2006). (in Russian)"},{"issue":"4","key":"15_CR21","doi-asserted-by":"crossref","first-page":"212","DOI":"10.15622\/sp.35.14","volume":"35","author":"AM Kashevnik","year":"2014","unstructured":"Kashevnik, A.M., Ponomarev, A.V., Savosin, S.V.: Hybrid systems control based on smart space technology. SPIIRAS Proc. 35(4), 212\u2013226 (2014)","journal-title":"SPIIRAS Proc."},{"key":"15_CR22","unstructured":"Vatamaniuk, I.V., Ronzhin, A.L.: Application of digital images blur estimation methods for audiovisual monitoring. Informacionno-upravljajushhie sistemy 4, 16\u201323 (2014). (in Russian)"}],"container-title":["Lecture Notes in Computer Science","Interactive Collaborative Robotics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66471-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,24]],"date-time":"2023-08-24T23:23:17Z","timestamp":1692919397000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66471-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319664705","9783319664712"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66471-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}