Rewriting Logic and Its Applications [[electronic resource] ] : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / / edited by Dorel Lucanu |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XV, 185 p. 28 illus.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer programming Compilers (Computer programs) Machine theory Computer Science Logic and Foundations of Programming Software Engineering Programming Techniques Compilers and Interpreters Formal Languages and Automata Theory Models of Computation |
ISBN | 3-319-44802-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foundations -- Rewriting as a logical and semantic framework.-Rewriting languages -- Verification techniques -- Applications. |
Record Nr. | UNISA-996465282503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Rewriting Logic and Its Applications [[electronic resource] ] : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / / edited by Dorel Lucanu |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XV, 185 p. 28 illus.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer programming Compilers (Computer programs) Machine theory Computer Science Logic and Foundations of Programming Software Engineering Programming Techniques Compilers and Interpreters Formal Languages and Automata Theory Models of Computation |
ISBN | 3-319-44802-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foundations -- Rewriting as a logical and semantic framework.-Rewriting languages -- Verification techniques -- Applications. |
Record Nr. | UNINA-9910483276603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Rewriting Logic and Its Applications [[electronic resource] ] : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers / / edited by Santiago Escobar |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 297 p. 49 illus.) |
Disciplina | 004.015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer programming Compilers (Computer programs) Machine theory Computer Science Logic and Foundations of Programming Software Engineering Programming Techniques Compilers and Interpreters Formal Languages and Automata Theory Models of Computation |
ISBN | 3-319-12904-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996210537603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Rewriting Logic and Its Applications [[electronic resource] ] : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers / / edited by Santiago Escobar |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 297 p. 49 illus.) |
Disciplina | 004.015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer programming Compilers (Computer programs) Machine theory Computer Science Logic and Foundations of Programming Software Engineering Programming Techniques Compilers and Interpreters Formal Languages and Automata Theory Models of Computation |
ISBN | 3-319-12904-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484807303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Rewriting Logic and Its Applications [[electronic resource] ] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers / / edited by Francisco Durán |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (VIII, 241 p. 51 illus.) |
Disciplina | 005.101/5113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer programming Compilers (Computer programs) Machine theory Computer Science Logic and Foundations of Programming Software Engineering Programming Techniques Compilers and Interpreters Formal Languages and Automata Theory Models of Computation |
ISBN | 3-642-34005-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Rigorous Component-Based System Design (Invited Paper) -- Program Analysis Scenarios in Rascal -- K Framework Distilled -- Design and Analysis of Cloud-Based Architectures with KLAIM and Maude -- Making Maude Definitions More Interactive -- Model Checking LTLR Formulas under Localized Fairness -- Modelling and Analyzing Adaptive Self-assembly Strategies with Maude -- Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude -- Order-Sorted Equality Enrichments Modulo Axioms -- Timed CTL Model Checking in Real-Time Maude -- Using Narrowing to Test Maude Specifications -- A Rule-Based Framework for Building Superposition-Based Decision Procedures. |
Record Nr. | UNISA-996465648703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Simulated Evolution and Learning [[electronic resource] ] : 11th International Conference, SEAL 2017, Shenzhen, China, November 10–13, 2017, Proceedings / / edited by Yuhui Shi, Kay Chen Tan, Mengjie Zhang, Ke Tang, Xiaodong Li, Qingfu Zhang, Ying Tan, Martin Middendorf, Yaochu Jin |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXII, 1041 p. 317 illus.) |
Disciplina | 003.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Artificial intelligence Algorithms Computer networks Computer simulation Theory of Computation Artificial Intelligence Models of Computation Computer Communication Networks Computer Modelling |
ISBN | 3-319-68759-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Evolutionary Optimisation -- Maximum Likelihood Estimation based on Random Subspace EDA: Application to Extrasolar Planet Detection -- Evolutionary Games Network Reconstruction by Memetic Algorithm with l1/2 Regularization -- A Simple Brain Storm Optimization Algorithm via Visualizing Confidence Intervals -- Simulated Annealing with a Time-slot Heuristic for Ready-mix Concrete Delivery -- A Sequential Learnable Evolutionary Algorithm with a Novel Knowledge Base Generation Method -- Using Parallel Strategies to Speed Up Pareto Local Search -- Differential evolution based hyper-heuristic for the flexible job-shop scheduling problem with fuzzy processing time -- ACO-iRBA: A Hybrid Approach to TSPN with Overlapping Neighborhoods -- An Evolutionary Algorithm with A New Coding Scheme for Multi-objective Portfolio Optimization -- Exact Approaches for the Travelling Thief Problem -- On the Use of Dynamic Reference Points in HypE -- Multi-Factorial Evolutionary Algorithm Based on M2M Decomposition -- An Efficient Local Search Algorithm for Minimum Weighted Vertex Cover on Massive Graphs -- Interactive Genetic Algorithm with Group Intelligence Articulated Possibilistic Condition Preference Model -- GP-Based Approach to Comprehensive Quality-Aware Automated Semantic Web Service Composition -- Matrix Factorization based Benchmark Set Analysis: A Case Study on HyFlex.-Learning to Describe Collective Search Behavior of Evolutionary Algorithms in Solution Space -- Evolutionary Multiobjective Optimisation -- A Hierarchical Decomposition-based Evolutionary Many-objective Algorithm -- Adjusting Parallel Coordinates for Investigating Multi-Objective Search -- An Elite Archive-based MOEA/D Algorithm -- A constraint partitioning method based on minimax strategy for constrained multiobjective optimization problems -- A Fast Objective Reduction Algorithm based on Dominance Structure for Many Objective Optimization -- A memetic algorithm based on decomposition and extended search for Multi-Objective Capacitated Arc Routing Problem -- Improvement of reference points for decomposition based multi-objective evolutionary algorithms -- Multi-Objective Evolutionary Optimization for Autonomous Intersection Management -- Study of an adaptive control of aggregate functions in MOEA/D -- Use of Inverted Triangular Weight Vectors in Decomposition-Based Many-Objective Algorithms -- Surrogate Model Assisted Multi-Objective Differential Evolution Algorithm for Performance Optimization at Software Architecture Level -- Normalized Ranking Based Particle Swarm Optimizer for Many Objective Optimization -- Evolutionary Machine Learning -- A Study on Pre-Training Deep Neural Networks Using Particle Swarm Optimisation -- Simple Linkage Identification Using Genetic Clustering -- Learning of Sparse Fuzzy Cognitive Maps Using Evolutionary Algorithm with Lasso Initialization -- A Bayesian Restarting Approach to Algorithm Selection -- Evolutionary Learning based Iterated Local Search for Google Machine Reassignment Problems -- Geometric Semantic Genetic Programming with Perpendicular Crossover and Random Segment Mutation for Symbolic Regression -- Constrained Dimensionally Aware Genetic Programming for Evolving Interpretable Dispatching Rules in Dynamic Job Shop Scheduling -- Visualisation and Optimisation of Learning Classifier Systems for Multiple Domain Learning -- Adaptive Memetic Algorithm Based Evolutionary Multi-tasking Single-objective Optimization -- Effective Policy Gradient Search for Reinforcement Learning through NEAT based Feature Extraction -- Generalized Hybrid Evolutionary Algorithm Framework with a Mutation Operator Requiring no Adaptation -- A Multitree Genetic Programming Representation for Automatically Evolving Texture Image Descriptors -- Theoretical Developments -- Running-time Analysis of Particle Swarm Optimization with a Single Particle Based on Average Gain -- Evolutionary Computation Theory for Remote Sensing Image Clustering: A Survey -- Feature Selection and Dimensionality Reduction -- New Representations in Genetic Programming for Feature Construction in k-means Clustering -- Transductive Transfer Learning in Genetic Programming for Document Classification -- Automatic Feature Construction for Network Intrusion Detection -- A Feature Subset Evaluation Method based on Multi-objective Optimization -- A Hybrid GA-GP Method for Feature Reduction in Classification -- Kernel Construction and Feature Subset Selection in Support Vector Machines -- KW-Race and Fast KW-Race: Racing-based Frameworks for Tuning Parameters of Evolutionary Algorithms on Black-box Optimization Problems -- Dynamic and Uncertain Environments -- A Probabilistic Learning Algorithm for the Shortest Path Problem -- A first-order difference model-based evolutionary dynamic multiobjective optimization -- A Construction Graph-based Evolutionary Algorithm For Traveling Salesman Problem -- Real-world Applications -- Bi-objective water cycle algorithm for solving remanufacturing rescheduling problem -- A New Method for Constructing Ensemble Classifier in Privacy-Preserving Distributed Environment -- Greedy based Pareto Local Search for Bi-objective Robust Airport Gate Assignment Problem -- Multi-neighbourhood Great Deluge for Google Machine Reassignment Problem -- Evolutionary Optimization of Airport Security Inspection Allocation -- Evolving Directional Changes Trading Strategies with a New Event-based Indicator -- Constrained Differential Evolution for Cost and Energy Efficiency Optimization in 5G Wireless Networks -- Evolutionary Computation to Determine Product Builds in Open Pit Mining -- An Evolutionary Vulnerability Detection Method for HFSWR Ship Tracking Algorithm -- Genetic Programming for Lifetime Maximization in Wireless Sensor Networks with Mobile Sink -- Unsupervised Change Detection for Remote Sensing Images Based on Principal Component Analysis and Differential Evolution -- Parallel particle swarm optimization for community detection in large-scale networks -- Multi-objective memetic algorithm based on three-dimentional request prediction for dynamic pickup-and-delivery problem with time windows -- Optimization of Spectrum-Energy Efficiency in Heterogeneous Communication Network -- Large scale WSN deployment based on an improved cooperative coevolutionary PSO with global differential grouping -- Adaptive Systems -- Learning Fuzzy Cognitive Maps Using a Genetic Algorithm with Decision-making Trial and Evaluation -- Dynamic and Adaptive Threshold for DNN Compression from Scratch -- Cooperative Design of Two Level Fuzzy Logic Controllers for Medium Access Control in Wireless Body Area Networks -- Statistical Analysis of Social Coding in GitHub Hypernetwork -- Swarm Intelligence -- Sparse Restricted Boltzmann Machine Based on Multiobjective Optimization -- A Knee Point Driven Particle Swarm Optimization Algorithm for Sparse Reconstruction -- Multivariant optimization algorithm with bimodal-gauss -- Enhanced Comprehensive Learning Particle Swarm Optimization with Exemplar Evolution -- Recommending PSO variants using meta-learning framework for global optimization -- Augmented Brain Storm Optimization with Mutation Strategies -- A new precedence-based Ant Colony Optimization for permutation problems -- A general swarm intelligence model for continuous function optimization -- A Hybrid Particle Swarm Optimization for High-Dimensional Dynamic Optimization -- Visualizing the Search Dynamics in a High-dimensional Space for a Particle Swarm Optimizer -- Particle Swarm Optimization with Winning Score Assignment for Multi-objective Portfolio Optimization -- Conservatism and Adventurism in Particle Swarm Optimization Algorithm -- A competitive social spider optimization with learning strategy for PID controller optimization. . |
Record Nr. | UNISA-996465309603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Simulated Evolution and Learning [[electronic resource] ] : 11th International Conference, SEAL 2017, Shenzhen, China, November 10–13, 2017, Proceedings / / edited by Yuhui Shi, Kay Chen Tan, Mengjie Zhang, Ke Tang, Xiaodong Li, Qingfu Zhang, Ying Tan, Martin Middendorf, Yaochu Jin |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXII, 1041 p. 317 illus.) |
Disciplina | 003.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Artificial intelligence Algorithms Computer networks Computer simulation Theory of Computation Artificial Intelligence Models of Computation Computer Communication Networks Computer Modelling |
ISBN | 3-319-68759-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Evolutionary Optimisation -- Maximum Likelihood Estimation based on Random Subspace EDA: Application to Extrasolar Planet Detection -- Evolutionary Games Network Reconstruction by Memetic Algorithm with l1/2 Regularization -- A Simple Brain Storm Optimization Algorithm via Visualizing Confidence Intervals -- Simulated Annealing with a Time-slot Heuristic for Ready-mix Concrete Delivery -- A Sequential Learnable Evolutionary Algorithm with a Novel Knowledge Base Generation Method -- Using Parallel Strategies to Speed Up Pareto Local Search -- Differential evolution based hyper-heuristic for the flexible job-shop scheduling problem with fuzzy processing time -- ACO-iRBA: A Hybrid Approach to TSPN with Overlapping Neighborhoods -- An Evolutionary Algorithm with A New Coding Scheme for Multi-objective Portfolio Optimization -- Exact Approaches for the Travelling Thief Problem -- On the Use of Dynamic Reference Points in HypE -- Multi-Factorial Evolutionary Algorithm Based on M2M Decomposition -- An Efficient Local Search Algorithm for Minimum Weighted Vertex Cover on Massive Graphs -- Interactive Genetic Algorithm with Group Intelligence Articulated Possibilistic Condition Preference Model -- GP-Based Approach to Comprehensive Quality-Aware Automated Semantic Web Service Composition -- Matrix Factorization based Benchmark Set Analysis: A Case Study on HyFlex.-Learning to Describe Collective Search Behavior of Evolutionary Algorithms in Solution Space -- Evolutionary Multiobjective Optimisation -- A Hierarchical Decomposition-based Evolutionary Many-objective Algorithm -- Adjusting Parallel Coordinates for Investigating Multi-Objective Search -- An Elite Archive-based MOEA/D Algorithm -- A constraint partitioning method based on minimax strategy for constrained multiobjective optimization problems -- A Fast Objective Reduction Algorithm based on Dominance Structure for Many Objective Optimization -- A memetic algorithm based on decomposition and extended search for Multi-Objective Capacitated Arc Routing Problem -- Improvement of reference points for decomposition based multi-objective evolutionary algorithms -- Multi-Objective Evolutionary Optimization for Autonomous Intersection Management -- Study of an adaptive control of aggregate functions in MOEA/D -- Use of Inverted Triangular Weight Vectors in Decomposition-Based Many-Objective Algorithms -- Surrogate Model Assisted Multi-Objective Differential Evolution Algorithm for Performance Optimization at Software Architecture Level -- Normalized Ranking Based Particle Swarm Optimizer for Many Objective Optimization -- Evolutionary Machine Learning -- A Study on Pre-Training Deep Neural Networks Using Particle Swarm Optimisation -- Simple Linkage Identification Using Genetic Clustering -- Learning of Sparse Fuzzy Cognitive Maps Using Evolutionary Algorithm with Lasso Initialization -- A Bayesian Restarting Approach to Algorithm Selection -- Evolutionary Learning based Iterated Local Search for Google Machine Reassignment Problems -- Geometric Semantic Genetic Programming with Perpendicular Crossover and Random Segment Mutation for Symbolic Regression -- Constrained Dimensionally Aware Genetic Programming for Evolving Interpretable Dispatching Rules in Dynamic Job Shop Scheduling -- Visualisation and Optimisation of Learning Classifier Systems for Multiple Domain Learning -- Adaptive Memetic Algorithm Based Evolutionary Multi-tasking Single-objective Optimization -- Effective Policy Gradient Search for Reinforcement Learning through NEAT based Feature Extraction -- Generalized Hybrid Evolutionary Algorithm Framework with a Mutation Operator Requiring no Adaptation -- A Multitree Genetic Programming Representation for Automatically Evolving Texture Image Descriptors -- Theoretical Developments -- Running-time Analysis of Particle Swarm Optimization with a Single Particle Based on Average Gain -- Evolutionary Computation Theory for Remote Sensing Image Clustering: A Survey -- Feature Selection and Dimensionality Reduction -- New Representations in Genetic Programming for Feature Construction in k-means Clustering -- Transductive Transfer Learning in Genetic Programming for Document Classification -- Automatic Feature Construction for Network Intrusion Detection -- A Feature Subset Evaluation Method based on Multi-objective Optimization -- A Hybrid GA-GP Method for Feature Reduction in Classification -- Kernel Construction and Feature Subset Selection in Support Vector Machines -- KW-Race and Fast KW-Race: Racing-based Frameworks for Tuning Parameters of Evolutionary Algorithms on Black-box Optimization Problems -- Dynamic and Uncertain Environments -- A Probabilistic Learning Algorithm for the Shortest Path Problem -- A first-order difference model-based evolutionary dynamic multiobjective optimization -- A Construction Graph-based Evolutionary Algorithm For Traveling Salesman Problem -- Real-world Applications -- Bi-objective water cycle algorithm for solving remanufacturing rescheduling problem -- A New Method for Constructing Ensemble Classifier in Privacy-Preserving Distributed Environment -- Greedy based Pareto Local Search for Bi-objective Robust Airport Gate Assignment Problem -- Multi-neighbourhood Great Deluge for Google Machine Reassignment Problem -- Evolutionary Optimization of Airport Security Inspection Allocation -- Evolving Directional Changes Trading Strategies with a New Event-based Indicator -- Constrained Differential Evolution for Cost and Energy Efficiency Optimization in 5G Wireless Networks -- Evolutionary Computation to Determine Product Builds in Open Pit Mining -- An Evolutionary Vulnerability Detection Method for HFSWR Ship Tracking Algorithm -- Genetic Programming for Lifetime Maximization in Wireless Sensor Networks with Mobile Sink -- Unsupervised Change Detection for Remote Sensing Images Based on Principal Component Analysis and Differential Evolution -- Parallel particle swarm optimization for community detection in large-scale networks -- Multi-objective memetic algorithm based on three-dimentional request prediction for dynamic pickup-and-delivery problem with time windows -- Optimization of Spectrum-Energy Efficiency in Heterogeneous Communication Network -- Large scale WSN deployment based on an improved cooperative coevolutionary PSO with global differential grouping -- Adaptive Systems -- Learning Fuzzy Cognitive Maps Using a Genetic Algorithm with Decision-making Trial and Evaluation -- Dynamic and Adaptive Threshold for DNN Compression from Scratch -- Cooperative Design of Two Level Fuzzy Logic Controllers for Medium Access Control in Wireless Body Area Networks -- Statistical Analysis of Social Coding in GitHub Hypernetwork -- Swarm Intelligence -- Sparse Restricted Boltzmann Machine Based on Multiobjective Optimization -- A Knee Point Driven Particle Swarm Optimization Algorithm for Sparse Reconstruction -- Multivariant optimization algorithm with bimodal-gauss -- Enhanced Comprehensive Learning Particle Swarm Optimization with Exemplar Evolution -- Recommending PSO variants using meta-learning framework for global optimization -- Augmented Brain Storm Optimization with Mutation Strategies -- A new precedence-based Ant Colony Optimization for permutation problems -- A general swarm intelligence model for continuous function optimization -- A Hybrid Particle Swarm Optimization for High-Dimensional Dynamic Optimization -- Visualizing the Search Dynamics in a High-dimensional Space for a Particle Swarm Optimizer -- Particle Swarm Optimization with Winning Score Assignment for Multi-objective Portfolio Optimization -- Conservatism and Adventurism in Particle Swarm Optimization Algorithm -- A competitive social spider optimization with learning strategy for PID controller optimization. . |
Record Nr. | UNINA-9910483320403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Spatial Information Theory [[electronic resource] ] : 10th International Conference, COSIT 2011, Belfast, ME, USA / / edited by Max J. Egenhofer, Nicholas Giudice, Reinhard Moratz, Michael Worboys |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XI, 470 p. 177 illus., 43 illus. in color.) |
Disciplina | 910.285 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Artificial intelligence—Data processing
Database management Data mining Computer science Computer networks Geographic information systems Data Science Database Management Data Mining and Knowledge Discovery Models of Computation Computer Communication Networks Geographical Information System |
ISBN | 3-642-23196-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465932903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Spatial Information Theory [[electronic resource] ] : 9th International Conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009, Proceedings / / edited by Kathleen Stewart Hornsby, Christophe Claramunt, Michel Denis, Gérard Ligozat |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XIII, 505 p.) |
Disciplina | 910.285 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer programming
Artificial intelligence—Data processing Database management Data mining Computer science Computer networks Programming Techniques Data Science Database Management Data Mining and Knowledge Discovery Models of Computation Computer Communication Networks |
ISBN | 3-642-03832-8 |
Classificazione |
DAT 600f
DAT 620f GEO 007f SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cognitive Processing and Models for Spatial Cognition -- A Conceptual Model of the Cognitive Processing of Environmental Distance Information -- Spatial Cognition of Geometric Figures in the Context of Proportional Analogies -- Are Places Concepts? Familarity and Expertise Effects in Neighborhood Cognition -- Semantic Modeling -- A Metric Conceptual Space Algebra -- Grounding Geographic Categories in the Meaningful Environment -- Terabytes of Tobler: Evaluating the First Law in a Massive, Domain-Neutral Representation of World Knowledge -- Spatial Reasoning -- Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms -- Semi-automated Derivation of Conceptual Neighborhood Graphs of Topological Relations -- Exploiting Qualitative Spatial Constraints for Multi-hypothesis Topological Map Learning -- Comparing Relations with a Multi-holed Region -- Spatial Cognition -- The Endpoint Hypothesis: A Topological-Cognitive Assessment of Geographic Scale Movement Patterns -- Evaluating the Effectiveness and Efficiency of Visual Variables for Geographic Information Visualization -- SeaTouch: A Haptic and Auditory Maritime Environment for Non Visual Cognitive Mapping of Blind Sailors -- Spatial Knowledge -- Assigning Footprints to Dot Sets: An Analytical Survey -- Mental Tectonics - Rendering Consistent ?Maps -- To Be and Not To Be: 3-Valued Relations on Graphs -- Map Algebraic Characterization of Self-adapting Neighborhoods -- Scene and Visibility Modeling -- Scene Modelling and Classification Using Learned Spatial Relations -- A Qualitative Approach to Localization and Navigation Based on Visibility Information -- Showing Where To Go by Maps or Pictures: An Empirical Case Study at Subway Exits -- Spatial Modeling -- The Abduction of Geographic Information Science: Transporting Spatial Reasoning to the Realm of Purpose and Design -- An Algebraic Approach to Image Schemas for Geographic Space -- Spatio-terminological Inference for the Design of Ambient Environments -- Events and Processes -- Defining Spatial Entropy from Multivariate Distributions of Co-occurrences -- Case-Based Reasoning for Eliciting the Evolution of Geospatial Objects -- Composing Models of Geographic Physical Processes -- Route Planning -- Decentralized Time Geography for Ad-Hoc Collaborative Planning -- Adaptable Path Planning in Regionalized Environments -- An Analysis of Direction and Motion Concepts in Verbal Descriptions of Route Choices -- The Role of Angularity in Route Choice. |
Record Nr. | UNISA-996465305803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Spatial Information Theory [[electronic resource] ] : 9th International Conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009, Proceedings / / edited by Kathleen Stewart Hornsby, Christophe Claramunt, Michel Denis, Gérard Ligozat |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XIII, 505 p.) |
Disciplina | 910.285 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer programming
Artificial intelligence—Data processing Database management Data mining Computer science Computer networks Programming Techniques Data Science Database Management Data Mining and Knowledge Discovery Models of Computation Computer Communication Networks |
ISBN | 3-642-03832-8 |
Classificazione |
DAT 600f
DAT 620f GEO 007f SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cognitive Processing and Models for Spatial Cognition -- A Conceptual Model of the Cognitive Processing of Environmental Distance Information -- Spatial Cognition of Geometric Figures in the Context of Proportional Analogies -- Are Places Concepts? Familarity and Expertise Effects in Neighborhood Cognition -- Semantic Modeling -- A Metric Conceptual Space Algebra -- Grounding Geographic Categories in the Meaningful Environment -- Terabytes of Tobler: Evaluating the First Law in a Massive, Domain-Neutral Representation of World Knowledge -- Spatial Reasoning -- Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms -- Semi-automated Derivation of Conceptual Neighborhood Graphs of Topological Relations -- Exploiting Qualitative Spatial Constraints for Multi-hypothesis Topological Map Learning -- Comparing Relations with a Multi-holed Region -- Spatial Cognition -- The Endpoint Hypothesis: A Topological-Cognitive Assessment of Geographic Scale Movement Patterns -- Evaluating the Effectiveness and Efficiency of Visual Variables for Geographic Information Visualization -- SeaTouch: A Haptic and Auditory Maritime Environment for Non Visual Cognitive Mapping of Blind Sailors -- Spatial Knowledge -- Assigning Footprints to Dot Sets: An Analytical Survey -- Mental Tectonics - Rendering Consistent ?Maps -- To Be and Not To Be: 3-Valued Relations on Graphs -- Map Algebraic Characterization of Self-adapting Neighborhoods -- Scene and Visibility Modeling -- Scene Modelling and Classification Using Learned Spatial Relations -- A Qualitative Approach to Localization and Navigation Based on Visibility Information -- Showing Where To Go by Maps or Pictures: An Empirical Case Study at Subway Exits -- Spatial Modeling -- The Abduction of Geographic Information Science: Transporting Spatial Reasoning to the Realm of Purpose and Design -- An Algebraic Approach to Image Schemas for Geographic Space -- Spatio-terminological Inference for the Design of Ambient Environments -- Events and Processes -- Defining Spatial Entropy from Multivariate Distributions of Co-occurrences -- Case-Based Reasoning for Eliciting the Evolution of Geospatial Objects -- Composing Models of Geographic Physical Processes -- Route Planning -- Decentralized Time Geography for Ad-Hoc Collaborative Planning -- Adaptable Path Planning in Regionalized Environments -- An Analysis of Direction and Motion Concepts in Verbal Descriptions of Route Choices -- The Role of Angularity in Route Choice. |
Record Nr. | UNINA-9910484914903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|