top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
KI 2004: advances in artificial intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004 : proceedings / Susanne Biundo, Thom Frühwirth, Günther Palm (Eds.).
KI 2004: advances in artificial intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004 : proceedings / Susanne Biundo, Thom Frühwirth, Günther Palm (Eds.).
Creatore [German Conference on Artificial Intelligence (27th : 2004 : Ulm, Germany)]
Estensione xi, 465 p. : ill. ; 24 cm.
Accesso persona Biundo, Susanne
Frühwirth, Thom, 1962-
Palm, Günther
ISBN 3540231668 (pbk)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9936634603503681
[German Conference on Artificial Intelligence (27th : 2004 : Ulm, Germany)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Companion Technology [electronic resource] : A Paradigm Shift in Human-Technology Interaction / edited by Susanne Biundo, Andreas Wendemuth
Companion Technology [electronic resource] : A Paradigm Shift in Human-Technology Interaction / edited by Susanne Biundo, Andreas Wendemuth
Estensione XV, 500 p. 206 illus., 135 illus. in color : 1 online resource.
Disciplina 006.3
Accesso persona Biundo, Susanne
Wendemuth, Andreas
Accesso ente SpringerLink (Online service)
ISBN 9783319436654
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. YALE-13403357
Materiale a stampa
Lo trovi qui: Yale University
KI 2004: Advances in Artificial Intelligence [electronic resource] : 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings / 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 / by Susanne Biundo, Thom Frühwirth, Günther Palm
Creatore [Biundo, Susanne]
Accesso persona Frühwirth, Thom
Palm, Günther
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
ISBN 9783540231660
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354486
[Biundo, Susanne]  
Software
Lo trovi qui: University of Chicago
KI 2004 : advances in artificial intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004 : proceedings / Susanne Biundo, Thom Frühwirth, Günther Palm (eds.).
KI 2004 : advances in artificial intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004 : proceedings / Susanne Biundo, Thom Frühwirth, Günther Palm (eds.).
Creatore [KI 2004 (2004 : Ulm, Germany)]
Estensione 1 online resource (xi, 465 p.) : ill.
Disciplina 006.3
Accesso persona Biundo, Susanne
Frühwirth, Thom, 1962-
Palm, Günther
Genere/Forma Electronic books
ISBN 3540231668
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-004451714
[KI 2004 (2004 : Ulm, Germany)]  
Materiale a stampa
Lo trovi qui: Duke University
Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 : proceedings / Susanne Biundo, Maria Fox (eds.).
Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 : proceedings / Susanne Biundo, Maria Fox (eds.).
Creatore [European Conference on Planning (5th : 1999 : Durham, England)]
Estensione 1 online resource (viii, 372 p.) : ill.
Disciplina 006.3/33
Accesso persona Biundo, Susanne
Fox, Maria, 1962-
Genere/Forma Electronic books
ISBN 3540678662
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-004454002
[European Conference on Planning (5th : 1999 : Durham, England)]  
Materiale a stampa
Lo trovi qui: Duke University
Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 : proceedings / Susanne Biundo, Maria Fox (eds.).
Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 : proceedings / Susanne Biundo, Maria Fox (eds.).
Creatore [European Conference on Planning (5th : 1999 : Durham, England)]
Estensione viii, 372 p.
Disciplina 006.3/33
Accesso persona Biundo, Susanne
Fox, Maria, 1962-
ISBN 3540678662 (alk. paper)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Planning as Model Checking / Fausto Giunchiglia and Paolo Traverso -- Conformant Planning via Model Checking / Alessandro Cimatti and Marco Roveri -- Strong Cyclic Planning Revisited / Marco Daniele, Paolo Traverso and Moshe Y. Yardi -- Scaleability in Planning / Vassilis Liatsos and Barry Richards -- Exploiting Competitive Planner Performance / Adele E. Howe, Eric Dahlman and Christopher Hansen / [et al.] -- A Parallel Algorithm for POMDP Solution / Larry D. Pyeatt and Adele E. Howe -- Plan Merging & Plan Reuse as Satisfiability / Amol D. Mali -- SAT-Based Procedures for Temporal Reasoning / Alessandro Armando, Claudio Castellini and Enrico Giunchiglia -- Numeric State Variables in Constraint-Based Planning / Jussi Rintanen and Hartmut Jungholt -- Hierarchical Task Network Planning as Satisfiability / Amol D. Mali -- Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length / Stefan Edelkamp and Malte Helmert -- Action Constraints for Planning / Ulrich Scholz -- Least Commitment on Variable Binding in Presence of Incomplete Knowledge / R. Barruffi, E. Lamma and P. Mello / [et al.] -- Scaling up Planning by Teasing out Resource Scheduling / Biplav Srivastava and Subbarao Kambhampati -- Real-Time Scheduling for Multi-agent Call Center Automation / Yong Wang, Qiang Yang and Zhong Zhang -- Task Decomposition Support to Reactive Scheduling / Brian Drabble -- Greedy Algorithms for the Multi-capacitated Metric Scheduling Problem / Amedeo Cesta, Angelo Oddi and Stephen F. Smith -- Automata-Theoretic Approach to Planning for Temporally Extended Goals / Giuseppe De Giacomo and Moshe Y. Vardi -- Integer Programs and Valid Inequalities for Planning Problems / Alexander Bockmayr and Yannis Dimopoulos -- Deductive Synthesis of Recursive Plans in Linear Logic / Stephen Cresswell, Alan Smaill and Julian Richardson -- Sensor Planning with Non-linear Utility Functions / Sven Koenig and Yaxin Liu -- Propice-Plan: Toward a Unified Framework for Planning and Execution / Olivier Despouys and Francois F. Ingrand -- What Is the Expressive Power of Disjunctive Preconditions? / Bernhard Nebel -- Some Results on the Complexity of Planning with Incomplete Information / Patrik Haslum and Peter Jonsson -- Probabilistic Planning in the Graphplan Framework / Avrim L. Blum and John C. Langford -- Making Graphplan Goal-Directed / Eric Parker -- GRT: A Domain Independent Heuristic for STRIPS Worlds Based on Greedy Regression Tables / Ioannis Refanidis and Ioannis Vlahavas -- Planning as Heuristic Search: New Results / Blai Bonet and Hector Geffner.
Record Nr. UCHICAGO-4312933
[European Conference on Planning (5th : 1999 : Durham, England)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 ; proceedings / Susanne Biundo, Maria Fox (eds.)
Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 ; proceedings / Susanne Biundo, Maria Fox (eds.)
Creatore [European Conference on Planning (5th : 1999 : Durham, England)]
Estensione viii, 372 p. : ill. ; 24 cm.
Disciplina 006.333
Accesso persona Biundo, Susanne
Fox, Maria, 1962-
ISBN 3540678662
9783540678663 (alk. paper)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a4485352
[European Conference on Planning (5th : 1999 : Durham, England)]  
Materiale a stampa
Lo trovi qui: Stanford University
KI 2004 : advances in artificial intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004 : proceedings / Susanne Biundo, Thom Frühwirth, Günther Palm (eds.).
KI 2004 : advances in artificial intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004 : proceedings / Susanne Biundo, Thom Frühwirth, Günther Palm (eds.).
Creatore [German Conference on Artificial Intelligence (27th : 2004 : Ulm, Germany)]
Estensione xi, 465 p. : ill. ; 24 cm.
Disciplina 006.3
Accesso persona Biundo, Susanne
Frühwirth, Thom, 1962-
Palm, Günther
ISBN 3540231668 (pbk.)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited talks -- Natural language processing -- Knowedge representation and ontologies -- Planning and searching -- Neural networks and machine learning -- Reasoning -- Robotics and machine perception.
Record Nr. DUKE-003462645
[German Conference on Artificial Intelligence (27th : 2004 : Ulm, Germany)]  
Materiale a stampa
Lo trovi qui: Duke University
Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 : proceedings / Susanne Biundo, Maria Fox (eds.).
Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 : proceedings / Susanne Biundo, Maria Fox (eds.).
Creatore [European Conference on Planning (5th : 1999 : Durham, England)]
Estensione 1 online resource (viii, 372 pages) : illustrations.
Disciplina 006.3/33
Accesso persona Biundo, Susanne
Fox, Maria, 1962-
Genere/Forma Conference papers and proceedings
Electronic book
ISBN 9783540446576
3540446575
3540678662
9783540678663
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. UALBERTA-8417155
[European Conference on Planning (5th : 1999 : Durham, England)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
KI 2004: advances in artificial intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004 : proceedings / Susanne Biundo, Thom Frühwirth, Günther Palm (Eds.).
KI 2004: advances in artificial intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004 : proceedings / Susanne Biundo, Thom Frühwirth, Günther Palm (Eds.).
Creatore [German Conference on Artificial Intelligence (27th : 2004 : Ulm, Germany)]
Estensione xi, 465 p. : ill. ; 24 cm.
Accesso persona Biundo, Susanne
Frühwirth, Thom, 1962-
Palm, Günther
ISBN 3540231668 (pbk)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. YALE-6709607
[German Conference on Artificial Intelligence (27th : 2004 : Ulm, Germany)]  
Materiale a stampa
Lo trovi qui: Yale University