Search Results - (( Defined contribution ((pension plans) OR (pension plan)) ) OR ((( Defined ((distribution computational) OR (((distribution operations) OR (distributed operating)))) plan ) OR ( Defined distribution ((mission plans) OR (torsion points)) ))))
-
1
Advanced intelligent computing theories and applications : with aspects of artificial intelligence : 7th international conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011 :...
Published: Springer, 2011Contents: SpringerLink - Click here for accessDescription: 1 online resource (xxiii, 729 pages) : illustrations.
Conference Proceeding eBook -
2
Artificial intelligence and evolutionary computations in engineering systems : proceedings of ICAIECES 2017
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource : illustrations (some color).
Conference Proceeding eBook -
3
Intelligent human computer interaction : 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised selected papers
Published: Springer, 2023Contents: “…-- Automation of Calibration Procedure for Milk Non Automatic Weighing Instrument(NAWI) Process -- Low-cost Entry-level Educational Drone with Associated K-12 Education Strategy -- Creating a Modular and Decentralized Smart Mailbox System Using LoRaWan Networks -- A converting model 3D gaze direction to 2D gaze position -- Application of fiber optic sensors in aircraft fuel management system -- Intelligent multi-tariff payment collection system for in-ter-municipal buses in the Department of Atlántico - Colombia -- Agent-based modelling and simulation of public transport to identify effects of network changes on passenger flows -- Exploiting Security and Privacy Vulnerability in Human-IoT Interaction through the Virtual Assistant Technology in Amazon Alexa -- User Experience in Virtual Reality using Threshold Space in between Different Physical Laws -- Monitoring Pollination by Honeybee using Computer Vision -- Modeling the problem of integral geometry on the family of broken lines based on Tikhonov regularization -- A Framework for Privacy-Preserved Collaborative Learning in Smart Factory Environment -- Co-creating Computer Supported Collective Intelligence in Citizen Science Hubs -- Gaze Detection using Encoded Retinomorphic Events -- Extremely Lightweight Skin Segmentation Networks to Improve Remote Photoplethysmography Measurement -- Privacy-Friendly Phishing Attack Detection using Personalized Federated Learning -- CovidMis20: COVID-19 Misinformation Detection System on Twitter Tweets using Deep Learning Models -- Development of School Library Network Based on Cloud Technologies in Uzbekistan -- Parallel Resource Defined Fitness Sharing -- EEG-based Key Generation Cryptosystem for Strengthening Security of Blockchain Transactions -- Improving Gaze Estimation Performance using Ensemble Loss Function -- Non-Overlayed Guidance in Augmented Reality: User Study in radio-pharmacy -- Development Of A Novel Method For Image Resizing Using Artificial Neural Network -- From Angular to Vue: A Cross-Language Comparative Survey of Web Frameworks.…”Description: 1 online resource (xxii, 597 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook -
4
Advances in Computational Intelligence and Communication Technology : proceedings of CICT 2019
Published: Springer, 2021SpringerLink - Click here for accessDescription: 1 online resource (xiv, 574 pages).
Conference Proceeding eBook -
5
Integrated formal methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Published: Springer, 2018Contents: “…Dynamic Symbolic Execution for Software Analysis -- Integrating Formal Methods for Modeling and Simulation of Swarm Robotics -- Program Correctness Under Weak Memory Consistency -- On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders -- Reasoning About JML: Differences Between KeY and OpenJML -- Design and Verification of Restart-robust Industrial Control Software -- Efficiently Characterizing the Undefined Requests of a Rule-Based System -- Study of Integrating Random and Symbolic Testing for Object-Oriented Software -- Making Linearizability Compositional for Partially Ordered Executions -- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA -- A Precise Pictorial Language for Array Invariants -- Robotics and Integrated Formal Methods: Necessity Meets Opportunity -- Formal Modeling of Software Defined Networking -- Resource-Aware Virtually Timed Ambients -- Stateful Behavioral Types for Active Objects -- Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC -- Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions -- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin -- Towards A Formal Notion of Impact Metric for Cyber-physical Attacks -- Task Planning with OMT: An Application to Production Logistics -- Branching Temporal Logic of Calls and Returns for Pushdown Systems -- Repair and Generation of Formal Models Using Synthesis -- Mode-aware Concolic Testing for PLC Software -- Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions -- Analysing AWN-specifications Using mCRL2.…”Description: 1 online resource (xvi, 420 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
6
Agents and artificial intelligence : third International Conference, ICAART 2011, Rome, Italy, January 28-30, 2011. Revised selected papers
Published: Springer, 2013SpringerLink - Click here for accessDescription: 1 online resource (xiii, 444 pages) : illustrations (black and white).
Conference Proceeding eBook -
7
Proceedings of the 2012 International Conference on Communication, Electronics and Automation Engineering
Published: Springer, 2013Contents: “…Recovery Time Analysis of a Distributed Redundancy Protocol --…”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
8
Hybrid Artificial Intelligent Systems : 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013 : proceedings
Published: Springer, 2013Contents: “…Multi-agent Reactive Planning for Solving Plan Failures /…”Description: 1 online resource (xx, 691 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
9
Artificial intelligence applications and innovations : 9th IFIP WG 12.5 International Conference, AIAI 2013, Paphos, Cyprus, September 30 October 2, 2013, Proceedings
Published: Springer, 2013Contents: SpringerLink - Click here for accessDescription: 1 online resource (xxviii, 709 pages) : illustrations.
Conference Proceeding eBook -
10
Logic, Rationality, and Interaction : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
Published: Springer-Verlag, 2009Contents: “…Contributed Papers -- Expressing Properties of Coalitional Ability under Resource Bounds -- Dynamic Context Logic -- Toward a Dynamic Logic of Questions -- A General Family of Preferential Belief Removal Operators -- Computing Compliance -- Attributing Distributed Responsibility in Stit Logic -- Characterizations of Iterated Admissibility Based on PEGL -- Can Doxastic Agents Learn? …”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
11
Logic, rationality, and interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings
Published: Springer, 2019SpringerLink - Click here for accessDescription: 1 online resource (xxi, 441 pages) : illustrations (some color).
Conference Proceeding eBook -
12
Smart technologies, systems and applications : first International Conference, SmartTech-IC 2019, Quito, Ecuador, December 2-4, 2019, Proceedings
Published: Springer, 2020SpringerLink - Click here for accessDescription: 1 online resource (398 pages).
Conference Proceeding eBook -
13
Machine learning : ECML 2006 : 17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006 : proceedings
Published: Springer, 2006Contents: “…Invited Talks -- On Temporal Evolution in Data Streams -- The Future of CiteSeer: CiteSeerx -- Learning to Have Fun -- Winning the DARPA Grand Challenge -- Challenges of Urban Sensing -- Long Papers -- Learning in One-Shot Strategic Form Games -- A Selective Sampling Strategy for Label Ranking -- Combinatorial Markov Random Fields -- Learning Stochastic Tree Edit Distance -- Pertinent Background Knowledge for Learning Protein Grammars -- Improving Bayesian Network Structure Search with Random Variable Aggregation Hierarchies -- Sequence Discrimination Using Phase-Type Distributions -- Languages as Hyperplanes: Grammatical Inference with String Kernels -- Toward Robust Real-World Inference: A New Perspective on Explanation-Based Learning -- Fisher Kernels for Relational Data -- Evaluating Misclassifications in Imbalanced Data -- Improving Control-Knowledge Acquisition for Planning by Active Learning -- PAC-Learning of Markov Models with Hidden State -- A Discriminative Approach for the Retrieval of Images from Text Queries -- TildeCRF: Conditional Random Fields for Logical Sequences -- Unsupervised Multiple-Instance Learning for Functional Profiling of Genomic Data -- Bayesian Learning of Markov Network Structure -- Approximate Policy Iteration for Closed-Loop Learning of Visual Tasks -- Task-Driven Discretization of the Joint Space of Visual Percepts and Continuous Actions -- EM Algorithm for Symmetric Causal Independence Models -- Deconvolutive Clustering of Markov States -- Patching Approximate Solutions in Reinforcement Learning -- Fast Variational Inference for Gaussian Process Models Through KL-Correction -- Bandit Based Monte-Carlo Planning -- Bayesian Learning with Mixtures of Trees -- Transductive Gaussian Process Regression with Automatic Model Selection -- Efficient Convolution Kernels for Dependency and Constituent Syntactic Trees -- Why Is Rule Learning Optimistic and How to Correct It -- Automatically Evolving Rule Induction Algorithms -- Bayesian Active Learning for Sensitivity Analysis -- Mixtures of Kikuchi Approximations -- Boosting in PN Spaces -- Prioritizing Point-Based POMDP Solvers -- Graph Based Semi-supervised Learning with Sharper Edges -- Margin-Based Active Learning for Structured Output Spaces -- Skill Acquisition Via Transfer Learning and Advice Taking -- Constant Rate Approximate Maximum Margin Algorithms -- Batch Classification with Applications in Computer Aided Diagnosis -- Improving the Ranking Performance of Decision Trees -- Multiple-Instance Learning Via Random Walk -- Localized Alternative Cluster Ensembles for Collaborative Structuring -- Distributional Features for Text Categorization -- Subspace Metric Ensembles for Semi-supervised Clustering of High Dimensional Data -- An Adaptive Kernel Method for Semi-supervised Clustering -- To Select or To Weigh: A Comparative Study of Model Selection and Model Weighing for SPODE Ensembles -- Ensembles of Nearest Neighbor Forecasts -- Short Papers -- Learning Process Models with Missing Data -- Case-Based Label Ranking -- Cascade Evaluation of Clustering Algorithms -- Making Good Probability Estimates for Regression -- Fast Spectral Clustering of Data Using Sequential Matrix Compression -- An Information-Theoretic Framework for High-Order Co-clustering of Heterogeneous Objects -- Efficient Inference in Large Conditional Random Fields -- A Kernel-Based Approach to Estimating Phase Shifts Between Irregularly Sampled Time Series: An Application to Gravitational Lenses -- Cost-Sensitive Decision Tree Learning for Forensic Classification -- The Minimum Volume Covering Ellipsoid Estimation in Kernel-Defined Feature Spaces -- Right of Inference: Nearest Rectangle Learning Revisited -- Reinforcement Learning for MDPs with Constraints -- Efficient Non-linear Control Through Neuroevolution -- Efficient Prediction-Based Validation for Document Clustering -- On Testing the Missing at Random Assumption -- B-Matching for Spectral Clustering -- Multi-class Ensemble-Based Active Learning -- Active Learning with Irrelevant Examples -- Classification with Support Hyperplanes -- (Agnostic) PAC Learning Concepts in Higher-Order Logic -- Evaluating Feature Selection for SVMs in High Dimensions -- Revisiting Fisher Kernels for Document Similarities -- Scaling Model-Based Average-Reward Reinforcement Learning for Product Delivery -- Robust Probabilistic Calibration -- Missing Data in Kernel PCA -- Exploiting Extremely Rare Features in Text Categorization -- Efficient Large Scale Linear Programming Support Vector Machines -- An Efficient Approximation to Lookahead in Relational Learners -- Improvement of Systems Management Policies Using Hybrid Reinforcement Learning -- Diversified SVM Ensembles for Large Data Sets -- Dynamic Integration with Random Forests -- Bagging Using Statistical Queries -- Guiding the Search in the NO Region of the Phase Transition Problem with a Partial Subsumption Test -- Spline Embedding for Nonlinear Dimensionality Reduction -- Cost-Sensitive Learning of SVM for Ranking -- Variational Bayesian Dirichlet-Multinomial Allocation for Exponential Family Mixtures.…”Description: 1 online resource (xxiii, 851 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
14
Current topics in artificial intelligence : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Paper...
Published: Springer-Verlag, 2010Contents: “…Diagnosis -- Employing Test Suites for Verilog Fault Localization -- Analyzing the Influence of Differential Constraints in Possible Conflict and ARR Computation -- On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics -- Evolutive Algorithms and Neural Networks -- An Analysis of Particle Properties on a Multi-swarm PSO for Dynamic Optimization Problems -- An Incremental Learning Method for Neural Networks Based on Sensitivity Analysis -- A Multi-objective Neuro-evolutionary Algorithm to Obtain Interpretable Fuzzy Models -- Improving Isolated Handwritten Word Recognition Using a Specialized Classifier for Short Words -- Knowledge Representation and Engineering -- Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL -- Base Belief Change for Finitary Monotonic Logics -- Common Pitfalls in Ontology Development -- Machine Learning -- Obtaining Optimal Class Distribution for Decision Trees: Comparative Analysis of CTC and C4.5 -- Selecting Few Genes for Microarray Gene Expression Classification -- Sequential Pattern Mining in Multi-relational Datasets -- CBR Outcome Evaluation for High Similar Cases: A Preliminary Approach -- On the Suitability of Combining Feature Selection and Resampling to Manage Data Complexity -- Automated Constraint Selection for Semi-supervised Clustering Algorithm -- Multiagents -- Empirical Hardness for Mixed Auctions -- Developing Strategies for the ART Domain -- A Multiagent Solution to Adaptively Classify SOAP Message and Protect against DoS Attack -- Natural Language -- Adding Morphological Information to a Connectionist Part-Of-Speech Tagger -- Planning -- A Look-Ahead B&B Search for Cost-Based Planning -- A Tabu Search Algorithm to Minimize Lateness in Scheduling Problems with Setup Times -- Improving Local Search for the Fuzzy Job Shop Using a Lower Bound -- Tutoring Systems -- Data-Driven Student Knowledge Assessment through Ill-Defined Procedural Tasks -- Uncertainty: Bayesian Networks -- Recursive Probability Trees for Bayesian Networks -- Vision -- Generating Saliency Maps Using Human Based Computation Agents -- A New Contiguity-Constrained Agglomerative Hierarchical Clustering Algorithm for Image Segmentation -- Applications -- Classifying Sleep Apneas Using Neural Networks and a Combination of Experts -- Expert System to Real Time Control of Machining Processes -- A Flexible System for Document Processing and Text Transcription.…”Description: 1 online resource (xii, 302 pages).
SpringerLink - Click here for access
eBook -
15
Safety for future transport and mobility
Published: Springer, 2021Contents: “…2.1.1 Development of the Context -- 2.1.2 Identification of Risk -- 2.1.3 Assessment of the Risk in the Target Context -- 2.1.4 Development of a Strategy and Treatment of Potential Risk -- 2.1.5 Development and Defining of Activities and Their Objectives -- 2.1.6 Development of an Implementation and Realisation Strategy -- 2.1.7 Review and Evaluation of the Plan -- 2.2 Technical Risk -- 2.3 Risk in Road Traffic -- 2.3.1 Causes of Technical Risk -- 2.3.2 Control of Technical Risk -- 2.4 Standardisation of Safety for Road Vehicles -- 2.4.1 Risk and Integrity Definition from the IEC 61508.…”Description: 1 online resource (424 pages)
SpringerLink - Click here for access
eBook