LEADER 03786nam 22005895 450 001 9910254187403321 005 20251230061501.0 010 $a3-319-23467-6 024 7 $a10.1007/978-3-319-23467-0 035 $a(CKB)3780000000094052 035 $a(SSID)ssj0001584581 035 $a(PQKBManifestationID)16263928 035 $a(PQKBTitleCode)TC0001584581 035 $a(PQKBWorkID)14866380 035 $a(PQKB)11161575 035 $a(DE-He213)978-3-319-23467-0 035 $a(MiAaPQ)EBC5595588 035 $a(PPN)190531258 035 $a(EXLCZ)993780000000094052 100 $a20151016d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer and Information Science 2015 /$fedited by Roger Lee 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XIII, 252 p. 105 illus., 58 illus. in color.) 225 1 $aStudies in Computational Intelligence,$x1860-9503 ;$v614 300 $aIncludes index. 311 08$a3-319-23466-8 327 $aSAF: States Aware Fully Associative FTL for Multitasking Environment -- Security Measures for Web ETL Processes -- Automated Negotiating Agent Based on Evolutionary Stable Strategies -- Architecture for Intelligent Transportation System Based in a General Traffic Ontology -- Optimization of Cross-Lingual LSI Training Data -- Depth-First Heuristic Search for Software Model Checking -- A Novel Architecture for Learner?s Profiles Interoperability -- CORE: Continuous Monitoring of Reverse k Nearest Neighbors on Moving Objects in Road Networks -- A Voice Dialog Editor Based on Finite State Transducer Using Composite State for Tablet Devices -- Analysis of Driving Behaviors Based on GMM by Using Driving Simulator with Navigation Plugin -- Bin-Based Estimation of the Amount of Effort for Embedded Software Development Projects with Support Vector Machines -- Applying RoBuSt Method for Robustness Testing of the Non-Interference Property -- An Improved Multi-SOM Algorithm for Determining the Optimal Number of Clusters -- Conformance Testing for Timed Recursive Programs -- Instruction Level Loop De-optimization: Loop Rerolling and Software De-pipelining -- ETL Design Toward Social Network Opinion Analysis. 330 $aThis edited book presents scientific results of the 14th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2015) which was held on June 28 ? July 1, 2015 in Las Vegas, USA. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. 410 0$aStudies in Computational Intelligence,$x1860-9503 ;$v614 606 $aComputational intelligence 606 $aArtificial intelligence 606 $aComputational Intelligence 606 $aArtificial Intelligence 615 0$aComputational intelligence. 615 0$aArtificial intelligence. 615 14$aComputational Intelligence. 615 24$aArtificial Intelligence. 676 $a006.3 702 $aLee$b Roger$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910254187403321 996 $aComputer and Information Science 2015$91756503 997 $aUNINA