Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Distributed Computing and Artificial Intelligence, Volume 2
| Distributed Computing and Artificial Intelligence, Volume 2 |
| Autore | González Sara Rodríguez |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2021 |
| Descrizione fisica | 1 online resource (229 pages) |
| Altri autori (Persone) |
MachadoJosé Manuel
González-BrionesAlfonso WikarekJaroslaw LoukanovaRoussanka KatranasGeorge Casado-VaraRoberto |
| Collana | Lecture Notes in Networks and Systems Ser. |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-030-86887-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Honorary Chairman -- Advisory Board -- Program Committee Chairs -- Organizing Committee Chair -- Workshop Chair -- Organizing Committee -- DCAI 2021 Sponsors -- Special Session on AI-Driven Methods for Multimodal Networks and Processes Modeling (AIMPM 2021) -- Organizing Committee -- Chairs -- Co-chairs -- Special Session on Computational Linguistics, Information, Reasoning, and AI 2021 (CompLingInfoReasAI'21) -- Organizing Committee -- Program Committee -- Special Session on Surveying and Maritime Internet of Things Education (SMITE 2021) -- Organizing Committee -- Special session on Theory and Applications of Mathematical Models in Computer Science and Artificial Intelligence (TAMMCSAI) -- Organizing Committee -- Program Committee -- Contents -- Special Session on AI-driven methods for Multimodal Networks and Processes Modeling (AIMPM'21) -- Declarative Approach to UAVs Mission Contingency Planning in Dynamic Environments -- 1 Introduction -- 2 Approach to UAVs Fleet Online Routing -- 3 CSP Formulation -- 4 Constraints Relaxation -- 5 Computational Experiments -- 6 Conclusions -- References -- Model of Employee Competence Configuration in SCM -- 1 Introduction -- 2 Location of the Employee Competence Configuration Problem for the Sample Supply Chain -- 3 Employee Competence Configuration Model -- 4 Computational Examples -- 5 Conclusions -- References -- A Structural and Functional Design for Resource Deployments in Ad Hoc Multimodal Service Systems -- 1 Ad Hoc Multimodal Service Systems (AHMSS) -- 2 Domain Model for AHMSS -- 3 Challenges in Decision-Making for AHMSS -- 4 A Structural and Functional Design of the DSS -- 4.1 The Data Structure of a DSS -- 4.2 Key Functions of the DSS -- 4.3 Constraints on the Functions of the DSS -- 4.4 Critical Technologies and Methods Enabling the DSS.
5 Discussion and Conclusion -- References -- Repair of Multithreaded Errors in the Control and Measurement System -- 1 Introduction -- 2 Background to the Problem -- 2.1 Control and Measurement Systems -- 2.2 System Architecture -- 3 Errors in Multithreaded Applications -- 3.1 Problem Diagnosis -- 3.2 Ways of Detecting Multithreaded Errors -- 4 Use of MASCM Method -- 4.1 MASCM -- 4.2 Occurrence of a Race Condition Class Error -- 4.3 Verification of System Operation After Modifications -- 5 Summary -- References -- Special Session on Computational Linguistics, Information, Reasoning, and AI 2021 (CompLingInfoReasAI'21) -- A Case Study in Computer-Assisted Meta-reasoning -- 1 Introduction -- 2 Related Work -- 3 Development in Isabelle -- 4 The Haskell Code -- 5 Natural Language Example -- 6 On Automated Reasoning -- 7 Conclusions and Future Work -- References -- Fuzzy Natural Logic for Sentiment Analysis: A Proposal -- 1 Introduction -- 2 Lexicon Based Approach -- 3 Fuzzy Natural Logic (FNL) -- 3.1 Modeling Evaluative Expressions in FNL -- 3.2 Modeling the Meaning of Words in FNL -- 4 Fuzzy Natural Logic in Sentiment Analysis -- 5 Final Remarks -- References -- ITUTime: Turkish Temporal Expression Extraction and Normalization -- 1 Introduction -- 2 Related Works -- 3 Temporal Expression Types -- 4 System Description -- 4.1 Preprocessing -- 4.2 Text Number Normalization -- 4.3 Detector -- 4.4 Normalizer -- 4.5 Text Number Restoration -- 4.6 Limitations -- 5 Dataset -- 6 Evaluation -- 6.1 Error Analysis -- 7 Conclusion and Future Studies -- References -- Automated Metaphor Identification in Russian and Its Implications for Metaphor Studies -- 1 Metaphor as a Computational Problem -- 2 Description of the System -- 2.1 Metaphor Identification Features -- 2.2 Experimental Setup -- 3 Results -- 4 Discussion: What Can Experiments Tell Us About Metaphor?. References -- Special Session on Surveying and Maritime Internet of Things Education (SMITE'21) -- Smart Agriculture System Integrating LoRaWAN and Edge Computing Technologies -- 1 Introduction -- 2 System Overview -- 3 Methodology -- 4 Results -- 5 Conclusion -- References -- Marine Surveying Education by Implementing Artificial Intelligence on Remotely Operated Underwater Vehicle Sensors -- 1 Introduction -- 2 Experimental Setup -- 2.1 The Remotely Operated Underwater Vehicle -- 2.2 Sensor Cluster and Data Transfer -- 2.3 Software and Connectivity -- 3 Artificial Intelligence -- 4 Conclusions -- References -- Design and Configuration of Software Tools for the Remote Performance of Laboratory Experiments in Marine Survey Education -- 1 Introduction -- 2 Remote Measurement Process -- 2.1 Process Overview -- 2.2 Backbone Code -- 2.3 Database Data Retrieval Tool -- 2.4 Graphical User Interface -- 3 Case Study -- 4 Conclusions -- References -- Special session on Theory and Applications of Mathematical Models in Computer Science and Artificial Intelligence (TAMMCSAI'21) -- About the Reversibility of Elementary Cellular Automata with Rule Number 180 -- 1 Introduction -- 2 Elementary Cellular Automata -- 2.1 Basic Theory -- 2.2 The ECA with Rule Number 180 -- 3 Reversibility in One-Dimensional CA -- 4 The Reversibility Problem for ECA 180 -- 5 Conclusions -- References -- Automatic Generator of Loading Rules and Its Applications on Logistics Operations -- 1 Introduction -- 1.1 Motivation and Context -- 1.2 Contribution -- 2 Problem Description -- 2.1 Notation and Definitions -- 2.2 Strategies to Create Feasible Sequences and Their Complexity -- 2.3 Computational Results -- 3 Application on Stowage Planning -- 4 Conclusions -- References -- Distress Detection in Road Pavements Using Neural Networks -- 1 Introduction -- 2 Background. 2.1 Artificial Neural Networks and Autoencoders -- 3 Related Work -- 4 Expirements and Results -- 4.1 Baseline - Binary Classifier -- 4.2 AE and VAE Models -- 5 Conclusion -- 5.1 Discussion -- 5.2 Conclusions -- 5.3 Future Work -- References -- Analyzing Metrics to Understand Human Mobility Phenomena: Challenges and Solutions -- 1 Introduction -- 2 Understanding Common Metrics in Human Mobility Research -- 2.1 Spatial Resolution of Categorisation and Aggregation -- 2.2 Temporal Resolution of Categorisation and Aggregation -- 3 Detailed Analysis of Human Mobility Patterns -- 3.1 Data Collection -- 3.2 Exploring Human Mobility Metrics -- 4 Results and Discussion -- 5 Conclusions -- References -- The Relationship Between Financial Execution in R& -- D and Scientific Production -- 1 Introduction -- 2 Background -- 2.1 Research at UMinho -- 2.2 Covid-19 Impact on UMinho's R& -- D Projects -- 2.3 Scopus Database -- 3 Methodology -- 4 Results -- 4.1 Financial Execution -- 4.2 Scientific Production -- 4.3 Correlation Between Financial Execution and Scientific Production -- 5 Conclusions and Future Work -- References -- Doctoral Consortium -- Adaptive Recommendation in Online Environments -- 1 Introduction -- 2 Related Works -- 3 Keys Challenges -- 4 Research Question and Proposal Work -- 5 Final Remarks -- References -- Data Integration in Shop Floor for Industry 4.0 -- 1 Problem Statement -- 2 Related Work -- 3 Hypothesis -- 4 Proposal -- 5 Final Reflections -- References -- Distributed Architecture Proposal for Efficient Energy Management of Road Lighting in Urban Environments -- 1 Problem Statement -- 2 Related Work -- 3 Hypothesis -- 4 Proposal -- 5 Preliminary Results/Evaluation Plan -- 6 Reflections -- References -- Proposal for a Distributed Intelligent Control Architecture Based on Heterogeneous Modular Devices -- 1 Problem Statement. 2 Related Work -- 3 Hypothesis -- 4 Proposal -- 5 Preliminary Results/Evaluation Plan -- 6 Reflections -- References -- DNN Based Prototype of the Track Reconstruction Algorithm for the MUonE Experiment -- 1 The MUonE Experiment -- 2 DNN Based Track Reconstruction Algorithm -- 2.1 Experimental Setup -- 2.2 Track Reconstruction Algorithm -- 2.3 Results -- 3 Outlook and Plans -- 4 Conclusions -- References -- Modeling and Recommendation System for Improving the Energy Performance of Buildings -- 1 Problem Statement -- 2 Related Work -- 3 Hypothesis and Proposal -- 4 Preliminary Results -- 5 Reflections -- References -- Intelligent Monitoring and Management Platform for the Prevention of Olive Pests and Diseases, Including IoT with Sensing, Georeferencing and Image Acquisition Capabilities Through Computer Vision -- 1 Computer Vision and Deep Learning for Prevention of Olive Pests and Diseases -- 2 Deep Learning - Definition and Convolutional Neural Network -- 3 Development of the Intelligent Monitoring and Management Platform -- References -- Author Index. |
| Altri titoli varianti | Distributed Computing and Artificial Intelligence, Volume 2 |
| Record Nr. | UNINA-9910502985003321 |
González Sara Rodríguez
|
||
| Cham : , : Springer International Publishing AG, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Progress in artificial intelligence : 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007, Proceedings / / José Neves ; Manuel Filipe Santos; José Manuel Machado (eds.)
| Progress in artificial intelligence : 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007, Proceedings / / José Neves ; Manuel Filipe Santos; José Manuel Machado (eds.) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XVIII, 706 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-540-77002-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 - Second General Artificial Intelligence Workshop (GAIW 2007) -- Towards Tractable Local Closed World Reasoning for the Semantic Web -- Optimal Brain Surgeon for General Dynamic Neural Networks -- Answer-Set Programming Based Dynamic User Modelling for Recommender Systems -- Application of Logic Wrappers to Hierarchical Data Extraction from HTML -- Relaxing Feature Selection in Spam Filtering by Using Case-Based Reasoning Systems -- Gödel and Computability -- Prospective Logic Agents -- An Iterative Process for Building Learning Curves and Predicting Relative Performance of Classifiers -- Modelling Morality with Prospective Logic -- Change Detection in Learning Histograms from Data Streams -- Real-Time Intelligent Decision Support System for Bridges Structures Behavior Prediction -- Semi-fuzzy Splitting in Online Divisive-Agglomerative Clustering -- On the Use of Rough Sets for User Authentication Via Keystroke Dynamics -- The Halt Condition in Genetic Programming -- Two Puzzles Concerning Measures of Uncertainty and the Positive Boolean Connectives -- 2 - First Workshop on AI Applications for Sustainable Transportation Systems (AIASTS 2007) -- Nonlinear Models for Determining Mode Choice -- Adaptation in Games with Many Co-evolving Agents -- 3 - Third Workshop on Artificial Life and Evolutionary Algorithms (ALEA 2007) -- Symmetry at the Genotypic Level and the Simple Inversion Operator -- A Genetic Programming Approach to the Generation of Hyper-Heuristics for the Incapacitated Examination Timetabling Problem -- Asynchronous Stochastic Dynamics and the Spatial Prisoner’s Dilemma Game -- Improving Evolutionary Algorithms with Scouting -- Stochastic Barycenters and Beta Distribution for Gaussian Particle Swarms -- Exploiting Second Order Information in Computational Multi-objective Evolutionary Optimization -- 4 - First Workshop on Ambient Intelligence Technologies and Applications (AMITA 2007) -- Ambient Intelligence – A State of the Art from Artificial Intelligence Perspective -- Ubiquitous Ambient Intelligence in a Flight Decision Assistance System -- Argumentation-Based Decision Making in Ambient Intelligence Environments -- Intelligent Mixed Reality for the Creation of Ambient Assisted Living -- Medical Imaging Environment – A Multi-Agent System for a Computer Clustering Based Multi-display -- 5 - Second Workshop on Building and Applying Ontologies for the Semantic Web (BAOSW 2007) -- Partial and Dynamic Ontology Mapping Model in Dialogs of Agents -- Using Ontologies for Software Development Knowledge Reuse -- 6 - First Workshop on Business Intelligence (BI 2007) -- Analysis of the Day-of-the-Week Anomaly for the Case of Emerging Stock Market -- A Metamorphosis Algorithm for the Optimization of a Multi-node OLAP System -- Experiments for the Number of Clusters in K-Means -- A Network Algorithm to Discover Sequential Patterns -- Adaptive Decision Support for Intensive Care -- A Tool for Interactive Subgroup Discovery Using Distribution Rules -- Quantitative Evaluation of Clustering’s for Marketing Applications: A Web Portal Case Study -- Resource-Bounded Fraud Detection -- 7 - First Workshop on Computational Methods in Bioinformatics and Systems Biology (CMBSB 2007) -- System Stability Via Stepping Optimal Control: Theory and Applications -- Evaluating Simulated Annealing Algorithms in the Optimization of Bacterial Strains -- Feature Extraction from Tumor Gene Expression Profiles Using DCT and DFT -- 8 - Second Workshop on Intelligent Robotics (IROBOT 2007) -- An Omnidirectional Vision System for Soccer Robots -- Generalization and Transfer Learning in Noise-Affected Robot Navigation Tasks -- Heuristic Q-Learning Soccer Players: A New Reinforcement Learning Approach to RoboCup Simulation -- Human Robot Interaction Based on Bayesian Analysis of Human Movements -- Understanding Dynamic Agent’s Reasoning -- 9 - Fourth Workshop on Multi-agent Systems: Theory and Applications (MASTA 2007) -- Convergence of Independent Adaptive Learners -- Multi-agent Learning: How to Interact to Improve Collective Results -- A Basis for an Exchange Value-Based Operational Notion of Morality for Multiagent Systems -- Intelligent Farmer Agent for Multi-agent Ecological Simulations Optimization -- Tax Compliance Through MABS: The Case of Indirect Taxes -- 10 - First Workshop on Search Techniques for Constraint Satisfaction (STCS 2007) -- Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection -- GRASPER -- 11 - Second Workshop on Text Mining and Applications (TEMA 2007) -- Text Segmentation Using Context Overlap -- Automatic Extraction of Definitions in Portuguese: A Rule-Based Approach -- N-Grams and Morphological Normalization in Text Classification: A Comparison on a Croatian-English Parallel Corpus -- Detection of Strange and Wrong Automatic Part-of-Speech Tagging -- New Techniques for Relevant Word Ranking and Extraction. |
| Record Nr. | UNISA-996465757703316 |
| Berlin, Germany : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Progress in artificial intelligence : 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007, Proceedings / / José Neves ; Manuel Filipe Santos; José Manuel Machado (eds.)
| Progress in artificial intelligence : 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007, Proceedings / / José Neves ; Manuel Filipe Santos; José Manuel Machado (eds.) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XVIII, 706 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-540-77002-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 - Second General Artificial Intelligence Workshop (GAIW 2007) -- Towards Tractable Local Closed World Reasoning for the Semantic Web -- Optimal Brain Surgeon for General Dynamic Neural Networks -- Answer-Set Programming Based Dynamic User Modelling for Recommender Systems -- Application of Logic Wrappers to Hierarchical Data Extraction from HTML -- Relaxing Feature Selection in Spam Filtering by Using Case-Based Reasoning Systems -- Gödel and Computability -- Prospective Logic Agents -- An Iterative Process for Building Learning Curves and Predicting Relative Performance of Classifiers -- Modelling Morality with Prospective Logic -- Change Detection in Learning Histograms from Data Streams -- Real-Time Intelligent Decision Support System for Bridges Structures Behavior Prediction -- Semi-fuzzy Splitting in Online Divisive-Agglomerative Clustering -- On the Use of Rough Sets for User Authentication Via Keystroke Dynamics -- The Halt Condition in Genetic Programming -- Two Puzzles Concerning Measures of Uncertainty and the Positive Boolean Connectives -- 2 - First Workshop on AI Applications for Sustainable Transportation Systems (AIASTS 2007) -- Nonlinear Models for Determining Mode Choice -- Adaptation in Games with Many Co-evolving Agents -- 3 - Third Workshop on Artificial Life and Evolutionary Algorithms (ALEA 2007) -- Symmetry at the Genotypic Level and the Simple Inversion Operator -- A Genetic Programming Approach to the Generation of Hyper-Heuristics for the Incapacitated Examination Timetabling Problem -- Asynchronous Stochastic Dynamics and the Spatial Prisoner’s Dilemma Game -- Improving Evolutionary Algorithms with Scouting -- Stochastic Barycenters and Beta Distribution for Gaussian Particle Swarms -- Exploiting Second Order Information in Computational Multi-objective Evolutionary Optimization -- 4 - First Workshop on Ambient Intelligence Technologies and Applications (AMITA 2007) -- Ambient Intelligence – A State of the Art from Artificial Intelligence Perspective -- Ubiquitous Ambient Intelligence in a Flight Decision Assistance System -- Argumentation-Based Decision Making in Ambient Intelligence Environments -- Intelligent Mixed Reality for the Creation of Ambient Assisted Living -- Medical Imaging Environment – A Multi-Agent System for a Computer Clustering Based Multi-display -- 5 - Second Workshop on Building and Applying Ontologies for the Semantic Web (BAOSW 2007) -- Partial and Dynamic Ontology Mapping Model in Dialogs of Agents -- Using Ontologies for Software Development Knowledge Reuse -- 6 - First Workshop on Business Intelligence (BI 2007) -- Analysis of the Day-of-the-Week Anomaly for the Case of Emerging Stock Market -- A Metamorphosis Algorithm for the Optimization of a Multi-node OLAP System -- Experiments for the Number of Clusters in K-Means -- A Network Algorithm to Discover Sequential Patterns -- Adaptive Decision Support for Intensive Care -- A Tool for Interactive Subgroup Discovery Using Distribution Rules -- Quantitative Evaluation of Clustering’s for Marketing Applications: A Web Portal Case Study -- Resource-Bounded Fraud Detection -- 7 - First Workshop on Computational Methods in Bioinformatics and Systems Biology (CMBSB 2007) -- System Stability Via Stepping Optimal Control: Theory and Applications -- Evaluating Simulated Annealing Algorithms in the Optimization of Bacterial Strains -- Feature Extraction from Tumor Gene Expression Profiles Using DCT and DFT -- 8 - Second Workshop on Intelligent Robotics (IROBOT 2007) -- An Omnidirectional Vision System for Soccer Robots -- Generalization and Transfer Learning in Noise-Affected Robot Navigation Tasks -- Heuristic Q-Learning Soccer Players: A New Reinforcement Learning Approach to RoboCup Simulation -- Human Robot Interaction Based on Bayesian Analysis of Human Movements -- Understanding Dynamic Agent’s Reasoning -- 9 - Fourth Workshop on Multi-agent Systems: Theory and Applications (MASTA 2007) -- Convergence of Independent Adaptive Learners -- Multi-agent Learning: How to Interact to Improve Collective Results -- A Basis for an Exchange Value-Based Operational Notion of Morality for Multiagent Systems -- Intelligent Farmer Agent for Multi-agent Ecological Simulations Optimization -- Tax Compliance Through MABS: The Case of Indirect Taxes -- 10 - First Workshop on Search Techniques for Constraint Satisfaction (STCS 2007) -- Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection -- GRASPER -- 11 - Second Workshop on Text Mining and Applications (TEMA 2007) -- Text Segmentation Using Context Overlap -- Automatic Extraction of Definitions in Portuguese: A Rule-Based Approach -- N-Grams and Morphological Normalization in Text Classification: A Comparison on a Croatian-English Parallel Corpus -- Detection of Strange and Wrong Automatic Part-of-Speech Tagging -- New Techniques for Relevant Word Ranking and Extraction. |
| Record Nr. | UNINA-9910484139803321 |
| Berlin, Germany : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||