| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996464518803316 |
|
|
Titolo |
Smart cities : third Ibero-American Congress, ICSC-Cities 2020, San JoseÌ, Costa Rica, November 9-11, 2020, revised selected papers / / Sergio Nesmachnow and Luis HernaÌndez Callejo (editors) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham, Switzerland : , : Springer, , [2021] |
|
©2021 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2021.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 324 p. 139 illus., 133 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Communications in Computer and Information Science, , 1865-0929 ; ; 1359 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Smart cities |
Artificial intelligence |
Software engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Energy Efficiency and Sustainability -- Mobility and IoT -- Infrastructure, Environment, Governance. . |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed proceedings of the Third Ibero-American Congress, ICSC-CITIES 2020, held in Costa Rica, in November 2020. Due to the COVID-19 pandemic the conference was held online. The 21 full papers presented were carefully reviewed and selected from 99 submissions. The papers are organized on topical sections on Energy Efficiency and Sustainability; Mobility and IoT; Infrastructure, Environment, Governance. . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910484048403321 |
|
|
Titolo |
KI 2005: Advances in Artificial Intelligence : 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings / / edited by Ulrich Furbach |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
|
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2005.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 418 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 3698 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Automatic control |
Robotics |
Automation |
Artificial Intelligence |
Control, Robotics, Automation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- Hierarchy in Fluid Construction Grammars -- Description Logics in Ontology Applications -- 175 Miles Through the Desert -- Knowledge Representation and Reasoning -- A New n-Ary Existential Quantifier in Description Logics -- Subsumption in w.r.t. Hybrid TBoxes -- Dependency Calculus: Reasoning in a General Point Relation Algebra -- Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs -- Machine Learning -- Design of Geologic Structure Models with Case Based Reasoning -- Applying Constrained Linear Regression Models to Predict Interval-Valued Data -- On Utilizing Stochastic Learning Weak Estimators for Training and Classification of Patterns with Non-stationary Distributions -- Noise Robustness by Using Inverse Mutations -- Diagnosis -- Development of Flexible and Adaptable Fault Detection and Diagnosis Algorithm for Induction Motors Based on Self-organization of Feature Extraction -- Computing the Optimal Action Sequence by Niche Genetic Algorithm -- Diagnosis of Plan Execution and the Executing Agent -- Automatic |
|
|
|
|
|
|
|
|
|
|
|
Abstraction of Time-Varying System Models for Model Based Diagnosis -- Neural Networks -- Neuro-Fuzzy Kolmogorov’s Network for Time Series Prediction and Pattern Classification -- Design of Optimal Power Distribution Networks Using Multiobjective Genetic Algorithm -- New Stability Results for Delayed Neural Networks -- Planning -- Metaheuristics for Late Work Minimization in Two-Machine Flow Shop with Common Due Date -- An Optimal Algorithm for Disassembly Scheduling with Assembly Product Structure -- Hybrid Planning Using Flexible Strategies -- Controlled Reachability Analysis in AI Planning: Theory and Practice -- Robotics -- Distributed Multi-robot Localization Based on Mutual Path Detection -- Modeling Moving Objects in a Dynamically Changing RobotApplication -- Heuristic-Based Laser Scan Matching for Outdoor 6D SLAM -- A Probabilistic Multimodal Sensor Aggregation Scheme Applied for a Mobile Robot -- Behavior Recognition and Opponent Modeling for Adaptive Table Soccer Playing -- Cognitive Modelling / Philosopy / Natural Language -- Selecting What Is Important: Training Visual Attention -- Self-sustained Thought Processes in a Dense Associative Network -- Why Is the Lucas-Penrose Argument Invalid? -- On the Road to High-Quality POS-Tagging. |
|
|
|
|
|
|
Sommario/riassunto |
|
ThisvolumecontainstheresearchpaperspresentedatKI2005,the28thGerman Conference on Arti'cial Intelligence, held September 11-14, 2005 in Koblenz, Germany. KI 2005 was part of the International Conference Summer Koblenz 2005, which included conferences covering a broad spectrum of topics that are all related to AI: tableau-based reasoningmethods (TABLEAUX), multi-agent s- tems (MATES), automated reasoningand knowledgerepresentation(FTP), and software engineering and formal methods (SEFM). The Program Committee received 113 submissions from 22 countries. Each paperwasreviewedbythreereferees;afteranintensivediscussionabouttheb- derline papers during the online meeting of the Program Committee, 29 papers were accepted for publication in this proceedings volume. The program included three outstanding keynote talks: Ian Horrocks (U- versityofManchester,UK),LucSteels(UniversityofBrusselsandSony)and- bastian Thrun (Stanford University), who covered topics like logical foundation, cognitive abilities of multi-agent systems and the DARPA Grand Challenge. KI 2005 also included two excellent tutorials: Techniques in Evolutionary Robotics and Neurodynamics (Frank Pasemann, Martin Hulse, ¨ Ste'en Wis- mann and Keyan Zahedi) and Connectionist Knowledge Representation and Reasoning (Barbara Hammer and Pascal Hitzler). Many thanks to the tu- rial presenters and the tutorial chair Joachim Hertzberg. Peter Baumgartner, in hisroleasaworkshopchair,collected11workshopsfromallareasofAIresearch, whichalsoincludes ameeting ofthe GermanPriorityProgramonKooperierende Teams mobiler Roboter in dynamischen Umgebungen. I want to sincerely thank all the authors who submitted their work for c- sideration and the Program Committee members and the additional referees for theirgreate'ortandprofessionalworkinthereviewandselectionprocess.Their names are listed on the following pages. |
|
|
|
|
|
|
|
| |