Advanced Topics in Artificial Intelligence [[electronic resource] ] : 10th Australian Joint Conference on Artificial Intelligence AI'97, Perth, Australia, November 30 - December 4, 1997. Proceedings / / edited by Abdul Sattar |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (XVII, 520 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Artificial Intelligence |
ISBN | 3-540-69649-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Controlling autonomous robots with Golog -- Video query and retrieval -- On finding needles in WWW haystacks -- Extending dynamic backtracking for distributed constraint satisfaction problems -- Constraint-directed backtracking -- Applied partial constraint satisfaction using weighted iterative repair -- The application of mutual information to the registration of stereo and temporal images of the retina -- Kalman filtering from a phase based optical flow operator -- Adaptive constraint restoration and error analysis using a neural network -- Exploring agent cooperation: Studies with a simple pursuit game -- The serializability problem in a parallel rule-based system: A solution by distributed coordination -- Optimal communication among team members -- Dominant and recessive genes in evolutionary systems applied to spatial reasoning -- Using multi-chromosomes to solve a simple mixed integer problem -- Hierarchical and feed-forward fuzzy Logic for financial modelling and prediction -- A knowledge-based system for workflow management using the world wide web -- Use of partial functional dependencies to make practical approximate translations among forms of propositional expert systems -- NRDR for the acquisition of search knowledge -- Rapid prototyping of executable problem solving methods using MODEL-ECS -- Preferential semantics for causal fixpoints -- Belief update, the Markovian situation calculus, and discrete event systems -- A notion of correctness with theories containing theoretical terms -- Inductive properties of states -- Describing plan recognition as nonmonotonic reasoning and belief revision -- Specification morphisms for nonmonotonic knowledge systems -- Representation results for default logics -- Proving quantified literals in defeasible logic -- Fuzzy hierarchical pattern recognition for robotics applications -- Adaptive curvature-based topography for learning symbolic descriptions of terrain maps -- A computer assisted image analysis system for diagnosing movement disorders -- Vowel recognition for speaker independent Chinese speech recognition -- Beat induction and rhythm recognition -- Boosting neural networks in real world applications: An empirical study -- Machine learning of credible classifications -- Mining the knowledge mine -- Using decision trees for agent modelling: A study on resolving conflicting predictions -- Sample set assessment for providing personalised recommendations -- Integrated correction of ill-formed sentences -- Information filtering for context-sensitive browsing -- The T-SOM (Tree-SOM) -- Extending and benchmarking the CasPer algorithm -- Disconcepts and fuzzy cognitive maps -- Weight sensitive Boolean extraction produces compact expressions -- Learning temporal sequences in recurrent self-organising neural nets -- Three-dimensional scene analysis using multiple range finders — Data capture, coordinate transformations and initial segmentation -- Sensor-based robotic automation of mushroom farming — Preliminary considerations -- Creating adroit mechanisms by using large numbers of simple homogeneous structures -- A nephelometric tactile sensor -- Finger track — A robust and real-time gesture interface -- A constraint mechanism for knowledge specification of simulation systems based on temporal logic -- Controlling engineering problem solving -- Evaluating a qualitative reasoner. |
Record Nr. | UNINA-9910144904303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Topics in Artificial Intelligence [[electronic resource] ] : 10th Australian Joint Conference on Artificial Intelligence AI'97, Perth, Australia, November 30 - December 4, 1997. Proceedings / / edited by Abdul Sattar |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (XVII, 520 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Artificial Intelligence |
ISBN | 3-540-69649-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Controlling autonomous robots with Golog -- Video query and retrieval -- On finding needles in WWW haystacks -- Extending dynamic backtracking for distributed constraint satisfaction problems -- Constraint-directed backtracking -- Applied partial constraint satisfaction using weighted iterative repair -- The application of mutual information to the registration of stereo and temporal images of the retina -- Kalman filtering from a phase based optical flow operator -- Adaptive constraint restoration and error analysis using a neural network -- Exploring agent cooperation: Studies with a simple pursuit game -- The serializability problem in a parallel rule-based system: A solution by distributed coordination -- Optimal communication among team members -- Dominant and recessive genes in evolutionary systems applied to spatial reasoning -- Using multi-chromosomes to solve a simple mixed integer problem -- Hierarchical and feed-forward fuzzy Logic for financial modelling and prediction -- A knowledge-based system for workflow management using the world wide web -- Use of partial functional dependencies to make practical approximate translations among forms of propositional expert systems -- NRDR for the acquisition of search knowledge -- Rapid prototyping of executable problem solving methods using MODEL-ECS -- Preferential semantics for causal fixpoints -- Belief update, the Markovian situation calculus, and discrete event systems -- A notion of correctness with theories containing theoretical terms -- Inductive properties of states -- Describing plan recognition as nonmonotonic reasoning and belief revision -- Specification morphisms for nonmonotonic knowledge systems -- Representation results for default logics -- Proving quantified literals in defeasible logic -- Fuzzy hierarchical pattern recognition for robotics applications -- Adaptive curvature-based topography for learning symbolic descriptions of terrain maps -- A computer assisted image analysis system for diagnosing movement disorders -- Vowel recognition for speaker independent Chinese speech recognition -- Beat induction and rhythm recognition -- Boosting neural networks in real world applications: An empirical study -- Machine learning of credible classifications -- Mining the knowledge mine -- Using decision trees for agent modelling: A study on resolving conflicting predictions -- Sample set assessment for providing personalised recommendations -- Integrated correction of ill-formed sentences -- Information filtering for context-sensitive browsing -- The T-SOM (Tree-SOM) -- Extending and benchmarking the CasPer algorithm -- Disconcepts and fuzzy cognitive maps -- Weight sensitive Boolean extraction produces compact expressions -- Learning temporal sequences in recurrent self-organising neural nets -- Three-dimensional scene analysis using multiple range finders — Data capture, coordinate transformations and initial segmentation -- Sensor-based robotic automation of mushroom farming — Preliminary considerations -- Creating adroit mechanisms by using large numbers of simple homogeneous structures -- A nephelometric tactile sensor -- Finger track — A robust and real-time gesture interface -- A constraint mechanism for knowledge specification of simulation systems based on temporal logic -- Controlling engineering problem solving -- Evaluating a qualitative reasoner. |
Record Nr. | UNISA-996465554503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
AI 2006: Advances in Artificial Intelligence [[electronic resource] ] : 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings / / edited by Abdul Sattar, Byeong Ho Kang |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (LIV, 1307 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Data mining Application software Information storage and retrieval Computers Artificial Intelligence Mathematical Logic and Formal Languages Data Mining and Knowledge Discovery Information Systems Applications (incl. Internet) Information Storage and Retrieval Computation by Abstract Devices |
ISBN | 3-540-49788-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- I: Regular Papers -- II: Regular Papers (5–7 Pages). |
Record Nr. | UNISA-996466028203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|