LEADER 05715nam 22007095 450 001 9910427705403321 005 20250812100216.0 010 $a3-030-60936-7 024 7 $a10.1007/978-3-030-60936-8 035 $a(CKB)4100000011508860 035 $a(DE-He213)978-3-030-60936-8 035 $a(MiAaPQ)EBC6380827 035 $a(PPN)255060009 035 $a(EXLCZ)994100000011508860 100 $a20201014d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSimilarity Search and Applications $e13th International Conference, SISAP 2020, Copenhagen, Denmark, September 30 ? October 2, 2020, Proceedings /$fedited by Shin'ichi Satoh, Lucia Vadicamo, Arthur Zimek, Fabio Carrara, Ilaria Bartolini, Martin Aumüller, Björn Þór Jónsson, Rasmus Pagh 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XIX, 414 p. 210 illus., 104 illus. in color.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v12440 311 08$a3-030-60935-9 327 $aScalable Similarity Search -- Accelerating Metric Filtering by Improving Bounds on Estimated Distances -- Differentially Private Sketches for Jaccard Similarity Estimation -- Pivot Selection for Narrow Sketches by Optimization Algorithms -- mmLSH: A Practical and Efficient Technique for Processing Approximate Nearest Neighbor Queries on Multimedia Data -- Parallelizing Filter-Verification based Exact Set Similarity Joins on Multicores -- Similarity Search with Tensor Core Units -- On the Problem of p1 in Locality-Sensitive Hashing -- Similarity Measures, Search, and Indexing -- Confirmation Sampling for Exact Nearest Neighbor Search -- Optimal Metric Search Is Equivalent to the Minimum Dominating Set Problem -- Metrics and Ambits and Sprawls, Oh My: Another Tutorial on Metric Indexing -- Some branches may bear rotten fruits: Diversity browsing VP-Trees -- Continuous Similarity Search for Evolving Database -- Taking advantage of highly-correlated attributes in similarity queries with missing values -- Similarity Between Points in Metric Measure Spaces -- High-dimensional Data and Intrinsic Dimensionality -- GTT: Guiding the Tensor Train Decomposition -- Noise Adaptive Tensor Train Decomposition for Low-Rank Embedding of Noisy Data -- ABID: Angle Based Intrinsic Dimensionality -- Sampled Angles in High-Dimensional Spaces -- Local Intrinsic Dimensionality III: Density and Similarity -- Analysing Indexability of Intrinsically High-dimensional Data using TriGen -- Reverse k-Nearest Neighbors Centrality Measures and Local Intrinsic Dimension -- Clustering -- BETULA: Numerically Stable CF-Trees for BIRCH Clustering -- Using a Set of Triangle Inequalities to Accelerate K-means Clustering -- Angle-Based Clustering -- Artificial Intelligence and Similarity -- Improving Locality Sensitive Hashing by Efficiently Finding Projected Nearest Neighbors -- SIR: Similar Image Retrieval for Product Search in E-Commerce -- Cross-Resolution deep features based Image Search -- LearningDistance Estimators from Pivoted Embeddings of Metric Objects -- Demo and Position Papers -- Visualizer of Dataset Similarity using Knowledge Graph -- vitrivr-explore: Guided Multimedia Collection Exploration for Ad-hoc Video Search -- Running experiments with confidence and sanity -- Doctoral Symposium -- Temporal Similarity of Trajectories in Graphs -- Relational Visual-Textual Information Retrieval. 330 $aThis book constitutes the refereed proceedings of the 13th International Conference on Similarity Search and Applications, SISAP 2020, held in Copenhagen, Denmark, in September/October 2020. The conference was held virtually due to the COVID-19 pandemic. The 19 full papers presented together with 12 short and 2 doctoral symposium papers were carefully reviewed and selected from 50 submissions. The papers are organized in topical sections named: scalable similarity search; similarity measures, search, and indexing; high-dimensional data and intrinsic dimensionality; clustering; artificial intelligence and similarity; demo and position papers; and doctoral symposium. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v12440 606 $aInformation storage and retrieval systems 606 $aArtificial intelligence 606 $aApplication software 606 $aDatabase management 606 $aData mining 606 $aComputer science$xMathematics 606 $aInformation Storage and Retrieval 606 $aArtificial Intelligence 606 $aComputer and Information Systems Applications 606 $aDatabase Management 606 $aData Mining and Knowledge Discovery 606 $aMathematics of Computing 615 0$aInformation storage and retrieval systems. 615 0$aArtificial intelligence. 615 0$aApplication software. 615 0$aDatabase management. 615 0$aData mining. 615 0$aComputer science$xMathematics. 615 14$aInformation Storage and Retrieval. 615 24$aArtificial Intelligence. 615 24$aComputer and Information Systems Applications. 615 24$aDatabase Management. 615 24$aData Mining and Knowledge Discovery. 615 24$aMathematics of Computing. 676 $a025.04 702 $aSatoh$b Shin'ichi 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910427705403321 996 $aSimilarity Search and Applications$93590342 997 $aUNINA LEADER 04903nam 22007215 450 001 9910447251303321 005 20251225183434.0 010 $a3-030-64881-8 024 7 $a10.1007/978-3-030-64881-7 035 $a(CKB)4100000011631537 035 $a(DE-He213)978-3-030-64881-7 035 $a(MiAaPQ)EBC6419261 035 $a(PPN)252514580 035 $a(EXLCZ)994100000011631537 100 $a20201126d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTesting Software and Systems $e32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9?11, 2020, Proceedings /$fedited by Valentina Casola, Alessandra De Benedictis, Massimiliano Rak 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XII, 317 p. 104 illus., 64 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12543 311 08$a3-030-64880-X 320 $aIncludes bibliographical references and index. 327 $aModel-Based Testing -- Using Model Learning for the Generation of Mock Components -- Interrogating Virtual Agents: In Quest of Security Vulnerabilities -- Giving a Model-based Testing Language a Formal Semantics via Partial MAX-SAT -- Learning Abstracted Non-Deterministic Finite State Machines -- Security Testing -- APPregator: a large-scale platform for mobile security analysis -- Vulsploit: a module for semi-automatic exploitation of vulnerabilities -- About the Robustness and Looseness of Yara Rules -- Measurement-based analysis of a DoS Defense Module for an Open Source Web Server -- Trust is in the air: a new adaptive method to evaluate mobile wireless networks -- Enabling Next-Generation Cyber Ranges with Mobile Security Components -- Testing Methods and Applications -- A Technique for Parallel GUI Testing of Android Applications -- Trigger Alarm A Smart NFC Sniffer for High-Precision Measurements -- Methods for Live Testing of Cloud Services -- Testing Methods and Automation -- Automated Transition Coverage in Behavioural Conformance Testing -- An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm -- Automatic Fairness Testing of Machine Learning Models -- Inspecting Code Churns to Prioritize Test Cases -- Short Contributions -- Using an SMT solver for checking the completeness of FSM-based tests -- Hacking Goals: a goal-centric attack taxonomy in computer systems -- A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems -- Architecture based on keyword driven testing with domain specific language for a testing system. 330 $aThis book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19 pandemic. The 17 regular papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures. The papers are organized in the topical sections named: model-based testing; security testing; testing methods and applications; testing methods and automation; and short contributions. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v12543 606 $aSoftware engineering 606 $aComputer engineering 606 $aComputer networks 606 $aArtificial intelligence 606 $aComputers 606 $aComputer science 606 $aSoftware Engineering 606 $aComputer Engineering and Networks 606 $aArtificial Intelligence 606 $aComputing Milieux 606 $aComputer Science Logic and Foundations of Programming 615 0$aSoftware engineering. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aArtificial intelligence. 615 0$aComputers. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aComputer Engineering and Networks. 615 24$aArtificial Intelligence. 615 24$aComputing Milieux. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.1 702 $aCasola$b Valentina 702 $aDe Benedictis$b Alessandra 702 $aRak$b Massimiliano 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910447251303321 996 $aTesting Software and Systems$93568350 997 $aUNINA