06091nam 22007695 450 99646540760331620200629195935.03-319-46520-110.1007/978-3-319-46520-3(CKB)3710000000889723(DE-He213)978-3-319-46520-3(MiAaPQ)EBC6305214(MiAaPQ)EBC5586849(Au-PeEL)EBL5586849(OCoLC)960643878(PPN)196323045(EXLCZ)99371000000088972320160921d2016 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierAutomated Technology for Verification and Analysis[electronic resource] 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /edited by Cyrille Artho, Axel Legay, Doron Peled1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (XI, 530 p. 102 illus.)Programming and Software Engineering ;99383-319-46519-8 Keynote -- Synthesizing and Completely Testing Hardware based on Templates through Small Numbers of Test Patterns -- Markov Models, Chains, and Decision Processes -- Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. -Optimizing the Expected Mean Payoff in Energy Markov Decision Processes -- Parameter Synthesis for Markov Models: Faster Than Ever -- Bounded Model Checking for Probabilistic Programs -- Counter Systems, Automata -- How Hard Is It to Verify Flat Affine Counter Systems with the Finite Monoid Property -- Solving Language Equations using Flanked Automata -- Spot 2.0 - a Framework for LTL and ω-Automata Manipulation -- MoChiBA: Probabilistic LTL Model Checking Using Limit- Deterministic Büchi Automata -- Parallelism, Concurrency -- Synchronous Products of Rewrite Systems -- Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents -- Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs -- Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems -- Complexity, Decidability -- On Finite Domains in First-Order Linear Temporal Logic -- Decidability Results for Multi-Objective Stochastic Games -- A Decision Procedure for Separation Logic in SMT -- Solving Mean-Payoff Games on the GPU -- Synthesis, Refinement -- Synthesizing Skeletons for Reactive Systems -- Observational Refinement and Merge for Disjunctive MTSs -- Equivalence-Based Abstraction Refinement for muHORS Model Checking -- Optimization, Heuristics, Partial-Order Reductions -- Greener Bits: Formal Analysis of Demand Response -- Heuristics for Checking Liveness Properties with Partial Order Reductions. - Partial-Order Reduction for GPU Model Checking -- Efficient Verification of Program Fragments: Eager POR -- Solving Procedures, Model Checking -- Skolem Functions for DQBF -- STL Model Checking of Continuous and Hybrid Systems -- Clause Sharing and Partitioning for Cloud-Based SMT Solving -- Symbolic Model Checking for Factored Probabilistic Models -- Program Analysis -- A Sketching-Based Approach for Debugging Using Test Cases -- Polynomial Invariants by Linear Algebra -- Certified Symbolic Execution -- Tighter Loop Bound Analysis. .This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis. .Programming and Software Engineering ;9938Software engineeringProgramming languages (Electronic computers)Computer logicMathematical logicArtificial intelligenceComputer programmingSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software engineering.Programming languages (Electronic computers).Computer logic.Mathematical logic.Artificial intelligence.Computer programming.Software Engineering.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Artificial Intelligence.Programming Techniques.004.015113Artho Cyrilleedthttp://id.loc.gov/vocabulary/relators/edtLegay Axeledthttp://id.loc.gov/vocabulary/relators/edtPeled Doronedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465407603316Automated Technology for Verification and Analysis772478UNISA08506nam 22008055 450 991048430900332120251113183911.03-540-73871-110.1007/978-3-540-73871-8(CKB)1000000000490209(SSID)ssj0000315718(PQKBManifestationID)11212740(PQKBTitleCode)TC0000315718(PQKBWorkID)10255226(PQKB)10502823(DE-He213)978-3-540-73871-8(MiAaPQ)EBC3063397(MiAaPQ)EBC6413195(PPN)123164036(EXLCZ)99100000000049020920100301d2007 u| 0engurnn#008mamaatxtccrAdvanced Data Mining and Applications Third International Conference, ADMA 2007, Harbin, China, August 6-8, 2007 Proceedings /edited by Reda Alhajj, Hong Gao, Xue Li, Jianzhong Li, Osmar R. Zaiane1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (XVI, 636 p. 201 illus.)Lecture Notes in Artificial Intelligence,2945-9141 ;4632Bibliographic Level Mode of Issuance: Monograph3-540-73870-3 Includes bibliographical references and index.Invited Talk -- Mining Ambiguous Data with Multi-instance Multi-label Representation -- Regular Papers -- DELAY: A Lazy Approach for Mining Frequent Patterns over High Speed Data Streams -- Exploring Content and Linkage Structures for Searching Relevant Web Pages -- CLBCRA-Approach for Combination of Content-Based and Link-Based Ranking in Web Search -- Rough Sets in Hybrid Soft Computing Systems -- Discovering Novel Multistage Attack Strategies -- Privacy Preserving DBSCAN Algorithm for Clustering -- A New Multi-level Algorithm Based on Particle Swarm Optimization for Bisecting Graph -- A Supervised Subspace Learning Algorithm: Supervised Neighborhood Preserving Embedding -- A k-Anonymity Clustering Method for Effective Data Privacy Preservation -- LSSVM with Fuzzy Pre-processing Model Based Aero Engine Data Mining Technology -- A Coding Hierarchy Computing Based Clustering Algorithm -- Mining Both Positive and Negative Association Rules from Frequent and Infrequent Itemsets -- Survey of Improving Naive Bayes for Classification -- Privacy Preserving BIRCH Algorithm for Clustering over Arbitrarily Partitioned Databases -- Unsupervised Outlier Detection in Sensor Networks Using Aggregation Tree -- Separator: Sifting Hierarchical Heavy Hitters Accurately from Data Streams -- Spatial Fuzzy Clustering Using Varying Coefficients -- Collaborative Target Classification for Image Recognition in Wireless Sensor Networks -- Dimensionality Reduction for Mass Spectrometry Data -- The Study of Dynamic Aggregation of Relational Attributes on Relational Data Mining -- Learning Optimal Kernel from Distance Metric in Twin Kernel Embedding for Dimensionality Reduction and Visualization of Fingerprints -- Efficiently Monitoring Nearest Neighbors to a Moving Object -- A Novel Text Classification Approach Based onEnhanced Association Rule -- Applications of the Moving Average of n th -Order Difference Algorithm for Time Series Prediction -- Inference of Gene Regulatory Network by Bayesian Network Using Metropolis-Hastings Algorithm -- A Consensus Recommender for Web Users -- Constructing Classification Rules Based on SVR and Its Derivative Characteristics -- Hiding Sensitive Associative Classification Rule by Data Reduction -- AOG-ags Algorithms and Applications -- A Framework for Titled Document Categorization with Modified Multinomial Naivebayes Classifier -- Prediction of Protein Subcellular Locations by Combining K-Local Hyperplane Distance Nearest Neighbor -- A Similarity Retrieval Method in Brain Image Sequence Database -- A Criterion for Learning the Data-Dependent Kernel for Classification -- Topic Extraction with AGAPE -- Clustering Massive Text Data Streams by Semantic Smoothing Model -- GraSeq: A Novel Approximate Mining Approach of Sequential Patterns over Data Stream -- A Novel Greedy Bayesian Network Structure Learning Algorithm for Limited Data -- Optimum Neural Network Construction Via Linear Programming Minimum Sphere Set Covering -- How Investigative Data Mining Can Help Intelligence Agencies to Discover Dependence of Nodes in Terrorist Networks -- Prediction of Enzyme Class by Using Reactive Motifs Generated from Binding and Catalytic Sites -- Bayesian Network Structure Ensemble Learning -- Fusion of Palmprint and Iris for Personal Authentication -- Enhanced Graph Based Genealogical Record Linkage -- A Fuzzy Comprehensive Clustering Method -- Short Papers -- CACS: A Novel Classification Algorithm Based on Concept Similarity -- Data Mining in Tourism Demand Analysis: A Retrospective Analysis -- Chinese Patent Mining Based on Sememe Statistics and Key-Phrase Extraction -- Classification of Business Travelers Using SVMs Combined with Kernel Principal Component Analysis -- Research on the Traffic Matrix Based on Sampling Model -- A Causal Analysis for the Expenditure Data of Business Travelers -- A Visual and Interactive Data Exploration Method for Large Data Sets and Clustering -- Explorative Data Mining on Stock Data – Experimental Results and Findings -- Graph Structural Mining in Terrorist Networks -- Characterizing Pseudobase and Predicting RNA Secondary Structure with Simple H-Type Pseudoknots Based on Dynamic Programming -- Locally Discriminant Projection with Kernels for Feature Extraction -- A GA-Based Feature Subset Selection and Parameter Optimization of Support Vector Machine for Content – Based Image Retrieval -- E-Stream: Evolution-Based Technique for Stream Clustering -- H-BayesClust: A New Hierarchical Clustering Based on Bayesian Networks -- An Improved AdaBoost Algorithm Based on Adaptive Weight Adjusting.The Third International Conference on Advanced Data Mining and Applications (ADMA) organized in Harbin, China continued the tradition already established by the first two ADMA conferences in Wuhan in 2005 and Xi’an in 2006. One major goal of ADMA is to create a respectable identity in the data mining research com- nity. This feat has been partially achieved in a very short time despite the young age of the conference, thanks to the rigorous review process insisted upon, the outstanding list of internationally renowned keynote speakers and the excellent program each year. The impact of a conference is measured by the citations the conference papers receive. Some have used this measure to rank conferences. For example, the independent source cs-conference-ranking.org ranks ADMA (0.65) higher than PAKDD (0.64) and PKDD (0.62) as of June 2007, which are well established conferences in data mining. While the ranking itself is questionable because the exact procedure is not disclosed, it is nevertheless an encouraging indicator of recognition for a very young conference such as ADMA.Lecture Notes in Artificial Intelligence,2945-9141 ;4632Database managementArtificial intelligenceData miningSoftware engineeringInformation technologyManagementApplication softwareDatabase ManagementArtificial IntelligenceData Mining and Knowledge DiscoverySoftware EngineeringComputer Application in Administrative Data ProcessingComputer and Information Systems ApplicationsDatabase management.Artificial intelligence.Data mining.Software engineering.Information technologyManagement.Application software.Database Management.Artificial Intelligence.Data Mining and Knowledge Discovery.Software Engineering.Computer Application in Administrative Data Processing.Computer and Information Systems Applications.005.74Alhajj RedaMiAaPQMiAaPQMiAaPQBOOK9910484309003321Advanced Data Mining and Applications2982700UNINA