Search Results - (( Defined contributions selection plans ) OR ((( Defined ((distribution operational) OR (distribution computational)) plans ) OR ( Defined distribution ((version plans) OR (version pan)) ))))

Nordic contributions in IS research : second Scandinavian Conference on Information Systems, SCIS 2011, Turku, Finland, August 16-19, 2011, proceedings by Scandinavian Conference on Information Systems Turku, Finland, SpringerLink (Online service)

SpringerLink - Click here for access

Advanced intelligent computing theories and applications : with aspects of artificial intelligence : 7th international conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011 :... by International Conference on Intelligent Computing Zhengzhou, China, SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Artificial intelligence and evolutionary computations in engineering systems : proceedings of ICAIECES 2017 by International Conference on Artificial Intelligence and Evolutionary Computations in Engineering Systems Madanapalle, India, SpringerLink (Online service)

SpringerLink - Click here for access

Advances in Computational Intelligence and Communication Technology : proceedings of CICT 2019 by International Conference on Computational intelligence and Communication Technology Ghāziabād, India, SpringerLink (Online service)

SpringerLink - Click here for access

Intelligent human computer interaction : 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised selected papers by International Conference on Intelligent Human Computer Interaction Tashkent, Uzbekistan, SpringerLink (Online service)

Contents: “…-- 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.…”
SpringerLink - Click here for access

Artificial intelligence and security : 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, proceedings. Part IV by ICAIS (Conference) New York, N.Y.), SpringerLink (Online service)

SpringerLink - Click here for access

Agents and artificial intelligence : third International Conference, ICAART 2011, Rome, Italy, January 28-30, 2011. Revised selected papers by ICAART (Conference) Rome, Italy), SpringerLink (Online service)

SpringerLink - Click here for access

Integrated formal methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings by International Conference on Integrated Formal Methods Maynooth, Ireland, SpringerLink (Online service)

Contents: “…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.…”
SpringerLink - Click here for access

Proceedings of the 2012 International Conference on Communication, Electronics and Automation Engineering by International Conference on Communication, Electronics and Automation Engineering Xi'an Shi, China, SpringerLink (Online service)

Contents: “…Recovery Time Analysis of a Distributed Redundancy Protocol --…”
SpringerLink - Click here for access

Hybrid Artificial Intelligent Systems : 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013 : proceedings by HAIS 2013 Salamanca, Spain, SpringerLink (Online service)

Contents: “…Multi-agent Reactive Planning for Solving Plan Failures /…”
SpringerLink - Click here for access

Logic, Rationality, and Interaction : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings by LORI 2009 Chongqing, China, SpringerLink (Online service)

Contents: “…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? …”
SpringerLink - Click here for access

Advances in computing, communication, and control : third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings by International Conference on Advances in Computing, Communication, and Control Mumbai, India, SpringerLink (Online service)

SpringerLink - Click here for access

Rough sets and knowledge technology : 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings by RSKT 2012 Chengdu, China, SpringerLink (Online service)

SpringerLink - Click here for access

Artificial intelligence applications and innovations : 9th IFIP WG 12.5 International Conference, AIAI 2013, Paphos, Cyprus, September 30 October 2, 2013, Proceedings by IFIP TC12 WG12.5--IFIP Conference on Artificial Intelligence Applications and Innovations Paphos, Cyprus, SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Smart technologies, systems and applications : first International Conference, SmartTech-IC 2019, Quito, Ecuador, December 2-4, 2019, Proceedings by SmartTech-IC (Conference) Quito, Ecuador), SpringerLink (Online service)

SpringerLink - Click here for access

Current topics in artificial intelligence : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Paper... by Asociación Española de Inteligencia Artificial. Conferencia, SpringerLink (Online service)

Contents: “…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.…”
SpringerLink - Click here for access

Machine learning : ECML 2006 : 17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006 : proceedings by European Conference on Machine Learning Berlin, Germany, SpringerLink (Online service)

Contents: “…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.…”
SpringerLink - Click here for access

Logic, rationality, and interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings by LORI (Workshop) Chongqing, China), SpringerLink (Online service)

SpringerLink - Click here for access

Safety for future transport and mobility by Ross, Hans-Leo

Contents: “…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.…”
SpringerLink - Click here for access

Text analysis pipelines : towards ad-hoc large scale text mining by Wachsmuth, Henning

Contents: “…3.3.1 Modeling Algorithm Selection as a Planning Problem -- 3.3.2 Selecting the Algorithms of a Partially Ordered Pipeline -- 3.3.3 Linearizing the Partially Ordered Pipeline -- 3.3.4 Properties of the Proposed Approach -- 3.3.5 An Expert System for Ad-Hoc Construction -- 3.3.6 Evaluation of Ad-Hoc Construction -- 3.3.7 Discussion of Ad-Hoc Construction -- 3.4 An Information-Oriented View of Text Analysis -- 3.4.1 Text Analysis as a Filtering Task -- 3.4.2 Defining the Relevance of Portions of Text -- 3.4.3 Specifying a Degree of Filtering for Each Relation Type.…”
SpringerLink - Click here for access