Search Results - (( Defined contribution ((pension plant) OR (pension plan)) ) OR ((( Defined distribution ((operations plans) OR (operation plan)) ) OR ( Defined distribution ((decision plans) OR (decisions plan)) ))))

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)

Contents: “…Setting Up Particle Swarm Optimization by Decision Tree Learning Out of Function Features /…”
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: “…A Hybrid Fuzzy Approach to Facility Location Decision-Making /…”
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: “…Data mining, medical informatics and biomedical engineering -- Problem solving and scheduling -- Modeling and decision support systems -- Robotics -- Intelligent signal and image processing.…”
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

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

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

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

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: “…On the Temporal Structure of Learning -- Agreement Theorems in Dynamic-Epistemic Logic -- Learning and Teaching as a Game: A Sabotage Approach -- First-Order Logic Formalisation of Arrow's Theorem -- Twelve Angry Men: A Study on the Fine-Grain of Announcements -- Dynamic Testimonial Logic -- From the Logical Point of View: The Chain Store Paradox Revisited -- A Cooperation Logic for Declaration Structures -- Intentions and Assignments -- Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together -- Dynamic Epistemic Logic of Finite Identification -- An Epistemic Logic for Planning with Trials -- Obligations in a Responsible World -- Dynamic Epistemic Temporal Logic -- Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic -- An Update Operator for Strategic Ability -- Strategy Elimination in Games with Interaction Structures -- Posters -- The Logic of Knowledge-Based Cooperation in the Social Dilemma -- Getting Together: A Unified Perspective on Modal Logics for Coalitional Interaction -- Oppositional Logic -- Deliberate Contrary-to-Law Action -- Mono-Agent Dynamics -- Modal Expressivity and Definability over Sets -- Dynamic Logics for Explicit and Implicit Information -- Existence of Satisfied Alternative and the Occurring of Morph-Dictator.…”
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

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