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.
2005 Portuguese Conference on Artificial Intelligence : proceedings, University of Beira Interior, Covilhã, Portugal / / edited by Carlos Bento, Amílcar Cardoso, and Gaël Dias
| 2005 Portuguese Conference on Artificial Intelligence : proceedings, University of Beira Interior, Covilhã, Portugal / / edited by Carlos Bento, Amílcar Cardoso, and Gaël Dias |
| Pubbl/distr/stampa | IEEE |
| Disciplina | 006.3 |
| Altri autori (Persone) |
BentoCarlos (Lisboa Bento)
CardosoAmilcar DiasGaël |
| Soggetto topico | Artificial intelligence |
| ISBN | 1-5090-9896-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Genomic Signal Processing and Statistics
2005 portuguese conference on artificial intelligence |
| Record Nr. | UNISA-996281015803316 |
| IEEE | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2005 Portuguese Conference on Artificial Intelligence : proceedings, University of Beira Interior, Covilhã, Portugal / / edited by Carlos Bento, Amílcar Cardoso, and Gaël Dias
| 2005 Portuguese Conference on Artificial Intelligence : proceedings, University of Beira Interior, Covilhã, Portugal / / edited by Carlos Bento, Amílcar Cardoso, and Gaël Dias |
| Pubbl/distr/stampa | IEEE |
| Disciplina | 006.3 |
| Altri autori (Persone) |
BentoCarlos (Lisboa Bento)
CardosoAmilcar DiasGaël |
| Soggetto topico | Artificial intelligence |
| ISBN |
9781509098965
1509098968 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Genomic Signal Processing and Statistics
2005 portuguese conference on artificial intelligence |
| Record Nr. | UNINA-9910142671503321 |
| IEEE | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Progress in Artificial Intelligence [[electronic resource] ] : 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings / / edited by Carlos Bento, Amilcar Cardoso, Gael Dias
| Progress in Artificial Intelligence [[electronic resource] ] : 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings / / edited by Carlos Bento, Amilcar Cardoso, Gael Dias |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XX, 708 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Database management Information storage and retrieval Computer programming Artificial Intelligence Computation by Abstract Devices Database Management Information Storage and Retrieval Programming Techniques |
| ISBN | 9783540316466 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 – General Artificial Intelligence (GAIW 2005) -- Reducing Propositional Theories in Equilibrium Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A Semantics for Logic Programs -- Operational Semantics for DyLPs -- Case Retrieval Nets for Heuristic Lexicalization in Natural Language Generation -- Partially Parametric SVM -- Adapting Hausdorff Metrics to Face Detection Systems: A Scale-Normalized Hausdorff Distance Approach -- Robust Real-Time Human Activity Recognition from Tracked Face Displacements -- 2 – Affective Computing (AC 2005) -- Adaptation and Decision-Making Driven by Emotional Memories -- Affective Revision -- Feeling and Reasoning: A Computational Model for Emotional Characters -- 3 – Artificial Life and Evolutionary Algorithms (ALEA 2005) -- Evolutionary Computation Approaches for Shape Modelling and Fitting -- Reaction-Agents: First Mathematical Validation of a Multi-agent System for Dynamical Biochemical Kinetics -- A Hybrid Classification System for Cancer Diagnosis with Proteomic Bio-markers -- Intelligent Multiobjective Particle Swarm Optimization Based on AER Model -- A Quantum Inspired Evolutionary Framework for Multi-objective Optimization -- 4 – Building and Applying Ontologies for the Semantic Web (BAOSW 2005) -- A Database Trigger Strategy to Maintain Knowledge Bases Developed Via Data Migration -- The SWRC Ontology – Semantic Web for Research Communities -- 5 – Computational Methods in Bioinformatics (CMB 2005) -- Protein Sequence Classification Through Relevant Sequence Mining and Bayes Classifiers -- CONAN: An Integrative System for Biomedical Literature Mining -- A Quantum Evolutionary Algorithm for Effective Multiple Sequence Alignment -- Hierarchical Multi-classification with Predictive Clustering Trees in Functional Genomics -- 6 – Extracting Knowledge from Databases and Warehouses (EKDB&W 2005) -- Multi-output Nonparametric Regression -- Adapting Peepholing to Regression Trees -- An Extension of Self-organizing Maps to Categorical Data -- Programming Relational Databases for Itemset Mining over Large Transactional Tables -- Using a More Powerful Teacher to Reduce the Number of Queries of the L* Algorithm in Practical Applications -- User Group Profile Modeling Based on User Transactional Data for Personalized Systems -- Retail Clients Latent Segments -- Automatic Detection of Meddies Through Texture Analysis of Sea Surface Temperature Maps -- Monitoring the Quality of Meta-data in Web Portals Using Statistics, Visualization and Data Mining -- A Real Time Data Extraction, Transformation and Loading Solution for Semi-structured Text Files -- 7 – Intelligent Robotics (IROBOT 2005) -- Visual Based Human Motion Analysis: Mapping Gestures Using a Puppet Model -- Acquiring Observation Models Through Reverse Plan Monitoring -- Applying Biological Paradigms to Emerge Behaviour in RoboCup Rescue Team -- Survival Kit: A Constraint-Based Behavioural Architecture for Robot Navigation -- Heuristic Algorithm for Robot Path Planning Based on a Growing Elastic Net -- Robust Artificial Landmark Recognition Using Polar Histograms -- An Architecture of Sensor Fusion for Spatial Location of Objects in Mobile Robotics -- CATRAPILAS – A Simple Robotic Platform -- 8 – Multi-agent Systems: Theory and Applications (MASTA 2005) -- A Model of Pedagogical Negotiation -- Towards a Market Mechanism for Airport Traffic Control -- Intentions and Strategies in Game-Like Scenarios -- Semantics and Pragmatics for Agent Communication -- Logical Implementation of Uncertain Agents -- Subgoal Semantics in Agent Programming -- The Multi-team Formation Precursor of Teamwork -- Seeking Multiobjective Optimization in Uncertain, Dynamic Games -- Learning to Select Negotiation Strategies in Multi-agent Meeting Scheduling -- 9 – Text Mining and Applications (TEMA 2005) -- An Approach to Acquire Word Translations from Non-parallel Texts -- Experiments on Statistical and Pattern-Based Biographical Summarization -- Constrained Atomic Term: Widening the Reach of Rule Templates in Transformation Based Learning -- Improving Passage Retrieval in Question Answering Using NLP -- Mining the Semantics of Text Via Counter-Training -- Minimum Redundancy Cut in Ontologies for Semantic Indexing -- Unsupervised Learning of Multiword Units from Part-of-Speech Tagged Corpora: Does Quantity Mean Quality? -- Lappin and Leass’ Algorithm for Pronoun Resolution in Portuguese -- STEMBR: A Stemming Algorithm for the Brazilian Portuguese Language. |
| Record Nr. | UNISA-996465722303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Progress in artificial intelligence : 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005 : proceedings / / Carlos Bento, Amilcar Cardoso, Gael Dias (eds.)
| Progress in artificial intelligence : 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005 : proceedings / / Carlos Bento, Amilcar Cardoso, Gael Dias (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (XX, 708 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
BentoCarlos (Lisboa Bento)
CardosoAmilcar DiasGael |
| Collana | Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico | Artificial intelligence |
| ISBN | 9783540316466 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | General artificial intelligence (GAIW 2005) -- Affective computing (AC 2005) -- Artificial life and evolutionary algorithms (ALEA 2005) -- Building and applying ontologies for the semantic web (BAOSW 2005) -- Computational methods in bioinformatics (CMB 2005) -- Extracting knowledge from databases and warehouses (EKDB&W 2005) -- Intelligent robotics (IROBOT 2005) -- Multi-agent systems : theory and applications (MASTA 2005) -- Text mining and applications (TEMA 2005). |
| Altri titoli varianti |
12th Portuguese Conference on Artificial Intelligence
Twelfth Portuguese Conference on Artificial Intelligence Portuguese Conference on Artificial Intelligence EPIA 2005 |
| Record Nr. | UNINA-9910485144103321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Progress in Artificial Intelligence [[electronic resource] ] : 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997. Proceedings / / edited by Ernesto Costa, Amilcar Cardoso
| Progress in Artificial Intelligence [[electronic resource] ] : 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997. Proceedings / / edited by Ernesto Costa, Amilcar Cardoso |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XIV, 402 p.) |
| Disciplina | 006.3/3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-69605-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Flexible proof-replay with heuristics -- Flexible re-enactment of proofs -- Inference rights for controlling search in generating theorem provers -- A retrieval method for exploration of a case memory -- Incremental concept evolution based on adaptive feature weighting -- A 0–1 quadratic knapsack problem for modelizing and solving the constraint satisfaction problems -- An algorithm for solving systems of linear diophantine equations in naturals -- GenSAT: A navigational approach -- Timetabling using demand profiles -- Intelligent VR training -- Training strategies and knowledge acquisition: Using the same reflective tools for different purposes -- About the intended meaning of a linguistic negation -- Integration of inheritance in SNePS -- Measures of uncertainty and independence concept in different calculi -- A Multi-agent approach to first-order logic -- Modelling dynamic aspects of intentions -- Multi-agent negotiation algorithms for resources cost estimation: A case study -- Parla: A cooperation language for cognitive multi-agent systems -- Vivid agents arguing about distributed extended logic programs -- Approximate reasoning -- New results about sub-admissibility for general families of heuristic search algorithms -- Fixed point classification method for qualitative simulation -- Contextual logic of change and the ramification problem -- Temporal reasoning about actor programs -- A CLP model to the job sequencing problem -- A new approach for extracting rules from a trained neural network -- Bayesian networks, rule induction and logistic regression in the prediction of women survival suffering from breast cancer -- Controlling for unexpected goals when planning in a mixed-initiative setting -- Cooperative memory structures and commonsense knowledge for planning -- Diagonalization and type rewriting in clam -- Granularity for explanation -- Object model of intelligent tutoring shell -- Resource allocation on agent meta-societies -- Diagnostic information at your fingertips! -- Reasoning about actions with abductive logic programming -- Dimensions of embodiments: Possible futures for cognitive science (Abstract) -- Machine learning meets natural language (Abstract). |
| Record Nr. | UNISA-996465519203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Progress in Artificial Intelligence [[electronic resource] ] : 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997. Proceedings / / edited by Ernesto Costa, Amilcar Cardoso
| Progress in Artificial Intelligence [[electronic resource] ] : 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997. Proceedings / / edited by Ernesto Costa, Amilcar Cardoso |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XIV, 402 p.) |
| Disciplina | 006.3/3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-69605-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Flexible proof-replay with heuristics -- Flexible re-enactment of proofs -- Inference rights for controlling search in generating theorem provers -- A retrieval method for exploration of a case memory -- Incremental concept evolution based on adaptive feature weighting -- A 0–1 quadratic knapsack problem for modelizing and solving the constraint satisfaction problems -- An algorithm for solving systems of linear diophantine equations in naturals -- GenSAT: A navigational approach -- Timetabling using demand profiles -- Intelligent VR training -- Training strategies and knowledge acquisition: Using the same reflective tools for different purposes -- About the intended meaning of a linguistic negation -- Integration of inheritance in SNePS -- Measures of uncertainty and independence concept in different calculi -- A Multi-agent approach to first-order logic -- Modelling dynamic aspects of intentions -- Multi-agent negotiation algorithms for resources cost estimation: A case study -- Parla: A cooperation language for cognitive multi-agent systems -- Vivid agents arguing about distributed extended logic programs -- Approximate reasoning -- New results about sub-admissibility for general families of heuristic search algorithms -- Fixed point classification method for qualitative simulation -- Contextual logic of change and the ramification problem -- Temporal reasoning about actor programs -- A CLP model to the job sequencing problem -- A new approach for extracting rules from a trained neural network -- Bayesian networks, rule induction and logistic regression in the prediction of women survival suffering from breast cancer -- Controlling for unexpected goals when planning in a mixed-initiative setting -- Cooperative memory structures and commonsense knowledge for planning -- Diagonalization and type rewriting in clam -- Granularity for explanation -- Object model of intelligent tutoring shell -- Resource allocation on agent meta-societies -- Diagnostic information at your fingertips! -- Reasoning about actions with abductive logic programming -- Dimensions of embodiments: Possible futures for cognitive science (Abstract) -- Machine learning meets natural language (Abstract). |
| Record Nr. | UNINA-9910768184903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||