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.
Uncertain differential equations [[electronic resource] /] / by Kai Yao
| Uncertain differential equations [[electronic resource] /] / by Kai Yao |
| Autore | Yao Kai |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (166 p.) |
| Disciplina | 620 |
| Collana | Springer Uncertainty Research |
| Soggetto topico |
Computational intelligence
Economics, Mathematical Mathematical statistics Computational Intelligence Quantitative Finance Probability and Statistics in Computer Science |
| ISBN | 3-662-52729-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Uncertain Variable -- Uncertain Process -- Contour Process -- Uncertain Calculus -- Uncertain Differential Equation -- Uncertain Calculus with Renewal Process -- Uncertain Differential Equation with Jumps -- Multi-Dimensional Uncertain Differential Equation -- High-Order Uncertain Differential Equation. |
| Record Nr. | UNINA-9910254241703321 |
Yao Kai
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Uncertain Projective Geometry [[electronic resource] ] : Statistical Reasoning for Polyhedral Object Reconstruction / / by Stephan Heuel
| Uncertain Projective Geometry [[electronic resource] ] : Statistical Reasoning for Polyhedral Object Reconstruction / / by Stephan Heuel |
| Autore | Heuel Stephan |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XVIII, 210 p.) |
| Disciplina | 516/.5 |
| Altri autori (Persone) | HeuelStephan |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Geometry
Pattern recognition Optical data processing Mathematical statistics Computer graphics Artificial intelligence Pattern Recognition Image Processing and Computer Vision Probability and Statistics in Computer Science Computer Graphics Artificial Intelligence |
| ISBN |
1-280-30762-5
9786610307623 3-540-24656-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introduction -- 2 Representation of Geometric Entities and Transformations -- 3 Geometric Reasoning Using Projective Geometry -- 4 Statistical Geometric Reasoning -- 5 Polyhedral Object Reconstruction -- 6 Conclusions -- A Notation -- B Linear Algebra -- C Statistics. |
| Record Nr. | UNISA-996465408403316 |
|
Heuel Stephan
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Uncertain Projective Geometry [[electronic resource] ] : Statistical Reasoning for Polyhedral Object Reconstruction / / by Stephan Heuel
| Uncertain Projective Geometry [[electronic resource] ] : Statistical Reasoning for Polyhedral Object Reconstruction / / by Stephan Heuel |
| Autore | Heuel Stephan |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XVIII, 210 p.) |
| Disciplina | 516/.5 |
| Altri autori (Persone) | HeuelStephan |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Geometry
Pattern recognition Optical data processing Mathematical statistics Computer graphics Artificial intelligence Pattern Recognition Image Processing and Computer Vision Probability and Statistics in Computer Science Computer Graphics Artificial Intelligence |
| ISBN |
1-280-30762-5
9786610307623 3-540-24656-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introduction -- 2 Representation of Geometric Entities and Transformations -- 3 Geometric Reasoning Using Projective Geometry -- 4 Statistical Geometric Reasoning -- 5 Polyhedral Object Reconstruction -- 6 Conclusions -- A Notation -- B Linear Algebra -- C Statistics. |
| Record Nr. | UNINA-9910144185803321 |
|
Heuel Stephan
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Uncertainty Reasoning for the Semantic Web II [[electronic resource] ] : International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at Floc, Revised Selected Papers / / edited by Fernando Bobillo, Paulo Cesar G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool
| Uncertainty Reasoning for the Semantic Web II [[electronic resource] ] : International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at Floc, Revised Selected Papers / / edited by Fernando Bobillo, Paulo Cesar G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 331 p. 72 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Data mining Information storage and retrieval User interfaces (Computer systems) Mathematical logic Mathematical statistics Artificial Intelligence Data Mining and Knowledge Discovery Information Storage and Retrieval User Interfaces and Human Computer Interaction Mathematical Logic and Formal Languages Probability and Statistics in Computer Science |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-35975-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | PR-OWL 2.0 – Bridging the Gap to OWL Semantics.- Probabilistic Ontology and Knowledge Fusion for Procurement Fraud Detection in Brazil -- Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability.- Pronto: A Practical Probabilistic Description Logic Reasoner.- Instance-Based Non-standard Inferences in EL with Subjective Probabilities.- Finite Fuzzy Description Logics and Crisp Representations.- Reasoning in Fuzzy OWL 2 with DeLorean.- Dealing with Contradictory Evidence Using Fuzzy Trust in Semantic Web Data.- Storing and Querying Fuzzy Knowledge in the Semantic Web Using FiRE.- Transforming Fuzzy Description Logic ALCFL into Classical Description Logic ALCH.- A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. PrOntoLearn: Unsupervised Lexico-Semantic Ontology Generation Using Probabilistic Methods.- Semantic Web Search and Inductive Reasoning.- Ontology Enhancement through Inductive Decision Trees.- Assertion Prediction with Ontologies through Evidence Combination.- Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations.- Efficient Trust-Based Approximate SPARQL Querying of the Web of Linked Data -- Probabilistic Ontology and Knowledge Fusion for Procurement Fraud Detection in Brazil -- Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability.- Pronto: A Practical Probabilistic Description Logic Reasoner.- Instance-Based Non-standard Inferences in EL with Subjective Probabilities.- Finite Fuzzy Description Logics and Crisp Representations.- Reasoning in Fuzzy OWL 2 with DeLorean.- Dealing with Contradictory Evidence Using Fuzzy Trust in Semantic Web Data.- Storing and Querying Fuzzy Knowledge in the Semantic Web Using FiRE.- Transforming Fuzzy Description Logic ALCFL into Classical Description Logic ALCH.- A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension.- PrOntoLearn: Unsupervised Lexico-Semantic Ontology Generation Using Probabilistic Methods.- Semantic Web Search and Inductive Reasoning.- Ontology Enhancement through Inductive Decision Trees.- Assertion Prediction with Ontologies through Evidence Combination.- Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations.- Efficient Trust-Based Approximate SPARQL Querying of the Web of Linked Data. |
| Record Nr. | UNISA-996465973203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Uncertainty Reasoning for the Semantic Web II [[electronic resource] ] : International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at Floc, Revised Selected Papers / / edited by Fernando Bobillo, Paulo Cesar G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool
| Uncertainty Reasoning for the Semantic Web II [[electronic resource] ] : International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at Floc, Revised Selected Papers / / edited by Fernando Bobillo, Paulo Cesar G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 331 p. 72 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Data mining Information storage and retrieval User interfaces (Computer systems) Mathematical logic Mathematical statistics Artificial Intelligence Data Mining and Knowledge Discovery Information Storage and Retrieval User Interfaces and Human Computer Interaction Mathematical Logic and Formal Languages Probability and Statistics in Computer Science |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-35975-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | PR-OWL 2.0 – Bridging the Gap to OWL Semantics.- Probabilistic Ontology and Knowledge Fusion for Procurement Fraud Detection in Brazil -- Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability.- Pronto: A Practical Probabilistic Description Logic Reasoner.- Instance-Based Non-standard Inferences in EL with Subjective Probabilities.- Finite Fuzzy Description Logics and Crisp Representations.- Reasoning in Fuzzy OWL 2 with DeLorean.- Dealing with Contradictory Evidence Using Fuzzy Trust in Semantic Web Data.- Storing and Querying Fuzzy Knowledge in the Semantic Web Using FiRE.- Transforming Fuzzy Description Logic ALCFL into Classical Description Logic ALCH.- A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. PrOntoLearn: Unsupervised Lexico-Semantic Ontology Generation Using Probabilistic Methods.- Semantic Web Search and Inductive Reasoning.- Ontology Enhancement through Inductive Decision Trees.- Assertion Prediction with Ontologies through Evidence Combination.- Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations.- Efficient Trust-Based Approximate SPARQL Querying of the Web of Linked Data -- Probabilistic Ontology and Knowledge Fusion for Procurement Fraud Detection in Brazil -- Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability.- Pronto: A Practical Probabilistic Description Logic Reasoner.- Instance-Based Non-standard Inferences in EL with Subjective Probabilities.- Finite Fuzzy Description Logics and Crisp Representations.- Reasoning in Fuzzy OWL 2 with DeLorean.- Dealing with Contradictory Evidence Using Fuzzy Trust in Semantic Web Data.- Storing and Querying Fuzzy Knowledge in the Semantic Web Using FiRE.- Transforming Fuzzy Description Logic ALCFL into Classical Description Logic ALCH.- A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension.- PrOntoLearn: Unsupervised Lexico-Semantic Ontology Generation Using Probabilistic Methods.- Semantic Web Search and Inductive Reasoning.- Ontology Enhancement through Inductive Decision Trees.- Assertion Prediction with Ontologies through Evidence Combination.- Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations.- Efficient Trust-Based Approximate SPARQL Querying of the Web of Linked Data. |
| Record Nr. | UNINA-9910739451203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Uncertainty Reasoning for the Semantic Web III [[electronic resource] ] : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers / / edited by Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool
| Uncertainty Reasoning for the Semantic Web III [[electronic resource] ] : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers / / edited by Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVIII, 329 p. 56 illus.) |
| Disciplina | 025.0427 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Mathematical statistics Data mining Artificial Intelligence Mathematical Logic and Formal Languages Probability and Statistics in Computer Science Data Mining and Knowledge Discovery |
| ISBN | 3-319-13413-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | UMP-ST Plug-in: Documenting, Maintaining and Evolving Probabilistic Ontologies Using UnBBayes Framework -- Computing Inferences for Relational Bayesian Networks Based on ALC Constructs -- Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/– -- Learning Probabilistic Description Logics -- Semantics and Inference for Probabilistic Description Logics -- A Metaontology for Annotating Ontology Entities with Vagueness Descriptions -- Finite Lattices Do Not Make Reasoning in ALCOI Harder -- Fuzzy and Cross-Lingual Ontology Matching Mediated by Background Knowledge -- Semantic Knowledge Discovery and Data-Driven Logical Reasoning from Heterogeneous Data Sources -- Learning Probabilistic Description Logic Concepts Under Alternative Assumptions on Incompleteness -- Graph-Based Regularization for Transductive Class-Membership Prediction -- Analyzing User Demographics and User Behavior for Trust Assessment -- Bridging Gaps Between Subjective Logic and Semantic Web -- Uncertainty Estimation and Analysis of Categorical Web Data -- Ontological CP-Nets -- Uncertainty Handling in Named Entity Extraction and Disambiguation for Informal Text -- UMP-ST Plug-in: Documenting, Maintaining and Evolving Probabilistic Ontologies Using UnBBayes Framework -- Computing Inferences for Relational Bayesian Networks Based on ALC Constructs -- Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/– -- Learning Probabilistic Description Logics -- Semantics and Inference for Probabilistic Description Logics -- A Metaontology for Annotating Ontology Entities with Vagueness Descriptions -- Finite Lattices Do Not Make Reasoning in ALCOI Harder -- Fuzzy and Cross-Lingual Ontology Matching Mediated by Background Knowledge -- Semantic Knowledge Discovery and Data-Driven Logical Reasoning from Heterogeneous Data Sources -- Learning Probabilistic Description Logic Concepts Under Alternative Assumptions on Incompleteness -- Graph-Based Regularization for Transductive Class-Membership Prediction -- Analyzing User Demographics and User Behavior for Trust Assessment -- Bridging Gaps Between Subjective Logic and Semantic Web -- Uncertainty Estimation and Analysis of Categorical Web Data -- Ontological CP-Nets -- Uncertainty Handling in Named Entity Extraction and Disambiguation for Informal Text. |
| Record Nr. | UNINA-9910484495803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Uncertainty Reasoning for the Semantic Web III [[electronic resource] ] : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers / / edited by Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool
| Uncertainty Reasoning for the Semantic Web III [[electronic resource] ] : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers / / edited by Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVIII, 329 p. 56 illus.) |
| Disciplina | 025.0427 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Mathematical statistics Data mining Artificial Intelligence Mathematical Logic and Formal Languages Probability and Statistics in Computer Science Data Mining and Knowledge Discovery |
| ISBN | 3-319-13413-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | UMP-ST Plug-in: Documenting, Maintaining and Evolving Probabilistic Ontologies Using UnBBayes Framework -- Computing Inferences for Relational Bayesian Networks Based on ALC Constructs -- Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/– -- Learning Probabilistic Description Logics -- Semantics and Inference for Probabilistic Description Logics -- A Metaontology for Annotating Ontology Entities with Vagueness Descriptions -- Finite Lattices Do Not Make Reasoning in ALCOI Harder -- Fuzzy and Cross-Lingual Ontology Matching Mediated by Background Knowledge -- Semantic Knowledge Discovery and Data-Driven Logical Reasoning from Heterogeneous Data Sources -- Learning Probabilistic Description Logic Concepts Under Alternative Assumptions on Incompleteness -- Graph-Based Regularization for Transductive Class-Membership Prediction -- Analyzing User Demographics and User Behavior for Trust Assessment -- Bridging Gaps Between Subjective Logic and Semantic Web -- Uncertainty Estimation and Analysis of Categorical Web Data -- Ontological CP-Nets -- Uncertainty Handling in Named Entity Extraction and Disambiguation for Informal Text -- UMP-ST Plug-in: Documenting, Maintaining and Evolving Probabilistic Ontologies Using UnBBayes Framework -- Computing Inferences for Relational Bayesian Networks Based on ALC Constructs -- Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/– -- Learning Probabilistic Description Logics -- Semantics and Inference for Probabilistic Description Logics -- A Metaontology for Annotating Ontology Entities with Vagueness Descriptions -- Finite Lattices Do Not Make Reasoning in ALCOI Harder -- Fuzzy and Cross-Lingual Ontology Matching Mediated by Background Knowledge -- Semantic Knowledge Discovery and Data-Driven Logical Reasoning from Heterogeneous Data Sources -- Learning Probabilistic Description Logic Concepts Under Alternative Assumptions on Incompleteness -- Graph-Based Regularization for Transductive Class-Membership Prediction -- Analyzing User Demographics and User Behavior for Trust Assessment -- Bridging Gaps Between Subjective Logic and Semantic Web -- Uncertainty Estimation and Analysis of Categorical Web Data -- Ontological CP-Nets -- Uncertainty Handling in Named Entity Extraction and Disambiguation for Informal Text. |
| Record Nr. | UNISA-996210520703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Uncertainty Theory [[electronic resource] /] / by Baoding Liu
| Uncertainty Theory [[electronic resource] /] / by Baoding Liu |
| Autore | Liu Baoding |
| Edizione | [4th ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (491 p.) |
| Disciplina | 003.54 |
| Collana | Springer Uncertainty Research |
| Soggetto topico |
Computational intelligence
Probabilities Mathematical statistics Operations research Decision making Computational Intelligence Probability Theory and Stochastic Processes Probability and Statistics in Computer Science Operations Research/Decision Theory |
| ISBN | 3-662-44354-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Uncertain measure -- Uncertain variable -- Uncertain Programming -- Uncertain Statistics -- Uncertain Risk Analysis -- Uncertain Reliability Analysis -- Uncertain Logic -- Uncertain Entailment -- Uncertain Set -- Uncertain Inference -- Uncertain Process -- Uncertain Renewal Process -- Uncertain Calculus -- Uncertain Differential Equation -- Uncertain Finance. |
| Record Nr. | UNINA-9910299704403321 |
|
Liu Baoding
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Understanding Planning Tasks [[electronic resource] ] : Domain Complexity and Heuristic Decomposition / / by Malte Helmert
| Understanding Planning Tasks [[electronic resource] ] : Domain Complexity and Heuristic Decomposition / / by Malte Helmert |
| Autore | Helmert Malte |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XIV, 270 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | HelmertMalte |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Algorithms Computers Mathematical statistics Artificial Intelligence Algorithm Analysis and Problem Complexity Computation by Abstract Devices Probability and Statistics in Computer Science |
| ISBN | 3-540-77723-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Planning Benchmarks -- The Role of Benchmarks -- Defining Planning Domains -- The Benchmark Suite -- Transportation and Route Planning -- IPC Domains: Transportation and Route Planning -- IPC Domains: Others -- Conclusions -- Fast Downward -- Solving Planning Tasks Hierarchically -- Translation -- Knowledge Compilation -- Search -- Experiments -- Discussion. |
| Record Nr. | UNISA-996465286803316 |
|
Helmert Malte
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Understanding Planning Tasks [[electronic resource] ] : Domain Complexity and Heuristic Decomposition / / by Malte Helmert
| Understanding Planning Tasks [[electronic resource] ] : Domain Complexity and Heuristic Decomposition / / by Malte Helmert |
| Autore | Helmert Malte |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XIV, 270 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | HelmertMalte |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Algorithms Computers Mathematical statistics Artificial Intelligence Algorithm Analysis and Problem Complexity Computation by Abstract Devices Probability and Statistics in Computer Science |
| ISBN | 3-540-77723-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Planning Benchmarks -- The Role of Benchmarks -- Defining Planning Domains -- The Benchmark Suite -- Transportation and Route Planning -- IPC Domains: Transportation and Route Planning -- IPC Domains: Others -- Conclusions -- Fast Downward -- Solving Planning Tasks Hierarchically -- Translation -- Knowledge Compilation -- Search -- Experiments -- Discussion. |
| Record Nr. | UNINA-9910483385103321 |
|
Helmert Malte
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
