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.
Companion Technology : A Paradigm Shift in Human-Technology Interaction / / edited by Susanne Biundo, Andreas Wendemuth
| Companion Technology : A Paradigm Shift in Human-Technology Interaction / / edited by Susanne Biundo, Andreas Wendemuth |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XV, 500 p. 206 illus., 135 illus. in color.) |
| Disciplina | 004.019 |
| Collana | Cognitive Technologies |
| Soggetto topico |
Artificial intelligence
User interfaces (Computer systems) Computational linguistics Signal processing Image processing Speech processing systems Artificial Intelligence User Interfaces and Human Computer Interaction Computational Linguistics Signal, Image and Speech Processing |
| ISBN | 3-319-43665-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multilevel Knowledge Processing in Companion Systems -- Extending the Knowledge Base: Dynamic Query Planning for Querying Ontologies -- User-Centered Planning -- Explaining System-Generated Plans to Human Users -- Neurobiological Foundations of Strategy Change -- Assistive and Adaptive Dialogue Management -- The 'How' of Companion Feedback: Insights from Functional Imaging and Psychophysiology -- Management of Multimodal User Interaction in Companion Systems -- User-Adapted Guided Information Exploration -- Last Minute: An Empirical Experiment in User Companion Interaction -- Semantic and Nonlinguistic Data Representing Emotional States -- Environment Adaption for Companion Systems -- Emotion Recognition from Speech -- Automated Analysis of Human Facial Expression and Affect -- Social Signal Processing and Analysis in Companion Systems -- Nonintrusive Gesture Recognition in Real Companion Environments -- Companions Personalized Emotion Experience Model (COMPLEX) -- Information Fusion -- Neural Mechanisms and Methods for Emotion Recognition -- Mobile Worker Assistance System and Interaction Methods for Automotive Application Scenarios. |
| Record Nr. | UNINA-9910254826503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
KI 2004: Advances in Artificial Intelligence [[electronic resource] ] : 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings / / edited by Susanne Biundo, Thom Frühwirth, Günther Palm
| KI 2004: Advances in Artificial Intelligence [[electronic resource] ] : 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings / / edited by Susanne Biundo, Thom Frühwirth, Günther Palm |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 472 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-30221-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Automated Reasoning Tools for Molecular Biology -- ?mega: Computer Supported Mathematics -- An Overview of Planning Technology in Robotics -- SmartWeb: Mobile Applications of the Semantic Web -- Machine Learning for Autonomous Robots -- Natural Language Processing -- Generation of Sentence Parse Trees Using Parts of Speech -- Application of Machine Learning Techniques to the Re-ranking of Search Results -- A Pragmatics-First Approach to the Analysis and Generation of Dialogues -- Hybrid Natural Language Generation in a Spoken Language Dialog System -- Error-Tolerant Finite-State Lookup for Trademark Search -- Knowledge Representation and Ontologies -- Mining Hierarchical Temporal Patterns in Multivariate Time Series -- Using Behavioral Knowledge for Situated Prediction of Movements -- Integration of Manual and Automatic Text Categorization. A Categorization Workbench for Text-Based Email and Spam -- Model Based Deduction for Database Schema Reasoning -- Planning and Search -- Applying Automatic Planning Systems to Airport Ground-Traffic Control – A Feasibility Study -- Generalizing the Relaxed Planning Heuristic to Non-linear Tasks -- Decision-Theoretic Planning for Playing Table Soccer -- External A* -- Neural Networks and Machine Learning -- Combining Recurrent Neural Networks and Support Vector Machines for Structural Pattern Recognition -- Genre Classification of Web Pages -- Integration of Statistical and Neural Methods to Design Classifiers in Case of Unequal Covariance Matrices -- Semiring Artificial Neural Networks and Weighted Automata -- A New Method to Fit a Linear Regression Model for Interval-Valued Data -- Reasoning -- Specifying Abnormal Action Qualifications with Sensing in FLUX -- On-Line Decision-Theoretic Golog for Unpredictable Domains -- Relation Variables in Qualitative Spatial Reasoning -- Default Reasoning over Domains and Concept Hierarchies -- Improving Fault Localization of Programs by Using Labeled Dependencies -- Improving the Scalability of Rule Base Verification Using Binary Decision Diagrams: An Empirical Study -- Modeling of Tutoring Processes in Intelligent Tutoring Systems -- Robotics and Machine Perception -- A New Method for Asynchronous Multisensor Information Fusion -- Adaptive Vision for Playing Table Soccer -- Shape-Based Robot Mapping -- Vision-Based Facial and Eye Gaze Tracking System. |
| Record Nr. | UNISA-996465561503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
KI 2004: Advances in Artificial Intelligence : 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings / / edited by Susanne Biundo, Thom Frühwirth, Günther Palm
| KI 2004: Advances in Artificial Intelligence : 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings / / edited by Susanne Biundo, Thom Frühwirth, Günther Palm |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 472 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-30221-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Automated Reasoning Tools for Molecular Biology -- ?mega: Computer Supported Mathematics -- An Overview of Planning Technology in Robotics -- SmartWeb: Mobile Applications of the Semantic Web -- Machine Learning for Autonomous Robots -- Natural Language Processing -- Generation of Sentence Parse Trees Using Parts of Speech -- Application of Machine Learning Techniques to the Re-ranking of Search Results -- A Pragmatics-First Approach to the Analysis and Generation of Dialogues -- Hybrid Natural Language Generation in a Spoken Language Dialog System -- Error-Tolerant Finite-State Lookup for Trademark Search -- Knowledge Representation and Ontologies -- Mining Hierarchical Temporal Patterns in Multivariate Time Series -- Using Behavioral Knowledge for Situated Prediction of Movements -- Integration of Manual and Automatic Text Categorization. A Categorization Workbench for Text-Based Email and Spam -- Model Based Deduction for Database Schema Reasoning -- Planning and Search -- Applying Automatic Planning Systems to Airport Ground-Traffic Control – A Feasibility Study -- Generalizing the Relaxed Planning Heuristic to Non-linear Tasks -- Decision-Theoretic Planning for Playing Table Soccer -- External A* -- Neural Networks and Machine Learning -- Combining Recurrent Neural Networks and Support Vector Machines for Structural Pattern Recognition -- Genre Classification of Web Pages -- Integration of Statistical and Neural Methods to Design Classifiers in Case of Unequal Covariance Matrices -- Semiring Artificial Neural Networks and Weighted Automata -- A New Method to Fit a Linear Regression Model for Interval-Valued Data -- Reasoning -- Specifying Abnormal Action Qualifications with Sensing in FLUX -- On-Line Decision-Theoretic Golog for Unpredictable Domains -- Relation Variables in Qualitative Spatial Reasoning -- Default Reasoning over Domains and Concept Hierarchies -- Improving Fault Localization of Programs by Using Labeled Dependencies -- Improving the Scalability of Rule Base Verification Using Binary Decision Diagrams: An Empirical Study -- Modeling of Tutoring Processes in Intelligent Tutoring Systems -- Robotics and Machine Perception -- A New Method for Asynchronous Multisensor Information Fusion -- Adaptive Vision for Playing Table Soccer -- Shape-Based Robot Mapping -- Vision-Based Facial and Eye Gaze Tracking System. |
| Record Nr. | UNINA-9910144151303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent Advances in AI Planning [[electronic resource] ] : 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings / / edited by Susanne Biundo, Maria Fox
| Recent Advances in AI Planning [[electronic resource] ] : 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings / / edited by Susanne Biundo, Maria Fox |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (VIII, 380 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Computers Algorithms Numerical analysis Computer science—Mathematics Artificial Intelligence Programming Techniques Theory of Computation Algorithm Analysis and Problem Complexity Numeric Computing Discrete Mathematics in Computer Science |
| ISBN | 3-540-44657-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Planning as Model Checking -- Conformant Planning via Model Checking -- Strong Cyclic Planning Revisited -- Scaleability in Planning -- Exploiting Competitive Planner Performance -- A Parallel Algorithm for POMDP Solution -- Plan Merging & Plan Reuse as Satisfiability -- SAT-Based Procedures for Temporal Reasoning -- Numeric State Variables in Constraint-Based Planning -- Hierarchical Task Network Planning as Satisfiability -- Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length -- Action Constraints for Planning -- Least Commitment on Variable Binding in Presence of Incomplete Knowledge -- Scaling up Planning by Teasing Out Resource Scheduling -- Real-Time Scheduling for Multi-agent Call Center Automation -- Task Decomposition Support to Reactive Scheduling -- Greedy Algorithms for the Multi-capacitated Metric Scheduling Problem -- Automata-Theoretic Approach to Planning for Temporally Extended Goals -- Integer Programs and Valid Inequalities for Planning Problems -- Deductive Synthesis of Recursive Plans in Linear Logic -- Sensor Planning with Non-linear Utility Functions -- Propice-Plan: Toward a Unified Framework for Planning and Execution -- What is the Expressive Power of Disjunctive Preconditions? -- Some Results on the Complexity of Planning with Incomplete Information -- Probabilistic Planning in the Graphplan Framework -- Making Graphplan Goal-Directed -- GRT: A Domain Independent Heuristic for STRIPS Worlds Based on Greedy Regression Tables -- Planning as Heuristic Search: New Results. |
| Record Nr. | UNISA-996466159703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recent Advances in AI Planning : 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings / / edited by Susanne Biundo, Maria Fox
| Recent Advances in AI Planning : 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings / / edited by Susanne Biundo, Maria Fox |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (VIII, 380 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Computers Algorithms Numerical analysis Computer science—Mathematics Artificial Intelligence Programming Techniques Theory of Computation Algorithm Analysis and Problem Complexity Numeric Computing Discrete Mathematics in Computer Science |
| ISBN | 3-540-44657-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Planning as Model Checking -- Conformant Planning via Model Checking -- Strong Cyclic Planning Revisited -- Scaleability in Planning -- Exploiting Competitive Planner Performance -- A Parallel Algorithm for POMDP Solution -- Plan Merging & Plan Reuse as Satisfiability -- SAT-Based Procedures for Temporal Reasoning -- Numeric State Variables in Constraint-Based Planning -- Hierarchical Task Network Planning as Satisfiability -- Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length -- Action Constraints for Planning -- Least Commitment on Variable Binding in Presence of Incomplete Knowledge -- Scaling up Planning by Teasing Out Resource Scheduling -- Real-Time Scheduling for Multi-agent Call Center Automation -- Task Decomposition Support to Reactive Scheduling -- Greedy Algorithms for the Multi-capacitated Metric Scheduling Problem -- Automata-Theoretic Approach to Planning for Temporally Extended Goals -- Integer Programs and Valid Inequalities for Planning Problems -- Deductive Synthesis of Recursive Plans in Linear Logic -- Sensor Planning with Non-linear Utility Functions -- Propice-Plan: Toward a Unified Framework for Planning and Execution -- What is the Expressive Power of Disjunctive Preconditions? -- Some Results on the Complexity of Planning with Incomplete Information -- Probabilistic Planning in the Graphplan Framework -- Making Graphplan Goal-Directed -- GRT: A Domain Independent Heuristic for STRIPS Worlds Based on Greedy Regression Tables -- Planning as Heuristic Search: New Results. |
| Record Nr. | UNINA-9910144124903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||