Advances in Artificial Intelligence [[electronic resource] ] : 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I / / edited by Grigori Sidorov, Arturo Hernández Aguirre, Carlos Alberto Reyes Garcia |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XXIII, 479 p. 190 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Optical data processing Application software Pattern recognition Data mining Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Image Processing and Computer Vision Information Systems Applications (incl. Internet) Pattern Recognition Data Mining and Knowledge Discovery |
ISBN | 3-642-16761-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- Some Encounters on the Productive Use of a Failed Proof Attempt or a Counterexample -- Natural Language Processing -- Discourse Segmentation for Spanish Based on Shallow Parsing -- Towards Document Plagiarism Detection Based on the Relevance and Fragmentation of the Reused Text -- Lexicon Based Sentiment Analysis of Urdu Text Using SentiUnits -- A Semantic Oriented Approach to Textual Entailment Using WordNet-Based Measures -- On Managing Collaborative Dialogue Using an Agent-Based Architecture -- Dialog Structure Automatic Modeling -- A Probabilistic Model Based on n-Grams for Bilingual Word Sense Disambiguation -- Information Retrieval with a Simplified Conceptual Graph-Like Representation -- Teaching a Robot to Perform Tasks with Voice Commands -- Music Composition Based on Linguistic Approach -- Robotics, Planning and Scheduling -- A Practical Robot Coverage Algorithm for Unknown Environments -- An Algorithm for the Automatic Generation of Human-Like Motions Based on Examples -- Line Maps in Cluttered Environments -- Fuzzy Cognitive Maps for Modeling Complex Systems -- Semantic Representation and Management of Student Models: An Approach to Adapt Lecture Sequencing to Enhance Learning -- An Effective Heuristic for the No-Wait Flowshop with Sequence-Dependent Setup Times Problem -- Optimizing Alternatives in Precedence Networks -- AI-Based Integrated Scheduling of Production and Transportation Operations within Military Supply Chains -- Turbo Codification Techniques for Error Control in a Communication Channel -- A New Graphical Recursive Pruning Method for the Incremental Pruning Algorithm -- A New Pruning Method for Incremental Pruning Algorithm Using a Sweeping Scan-Line through the Belief Space -- POMDP Filter: Pruning POMDP Value Functions with the Kaczmarz Iterative Method -- Computer Vision and Image Processing -- Testing Image Segmentation for Topological SLAM with Omnidirectional Images -- Automatic Image Annotation Using Multiple Grid Segmentation -- Spatio-temporal Image Tracking Based on Optical Flow and Clustering: An Endoneurosonographic Application -- One Trilateral Filter Based on Surface Normal -- Beta-Measure for Probabilistic Segmentation -- Robust Spatial Regularization and Velocity Layer Separation for Optical Flow Computation on Transparent Sequences -- SAR Image Denoising Using the Non-Subsampled Contourlet Transform and Morphological Operators -- Logic and Distributed Systems -- Scheme-Based Synthesis of Inductive Theories -- A Possibilistic Intuitionistic Logic -- Jason Induction of Logical Decision Trees: A Learning Library and Its Application to Commitment -- Extending Soft Arc Consistency Algorithms to Non-invertible Semirings -- Frequency Transition Based Upon Dynamic Consensus for a Distributed System -- AI-Based Medical Application -- Towards Ubiquitous Acquisition and Processing of Gait Parameters -- Intelligent Wheelchair and Virtual Training by LabVIEW -- Environmental Pattern Recognition for Assessment of Air Quality Data with the Gamma Classifier -- Massive Particles for Brain Tractography -- Emotional Conversational Agents in Clinical Psychology and Psychiatry -- Knowledge-Based System for Diagnosis of Metabolic Alterations in Undergraduate Students. |
Record Nr. | UNISA-996465712703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in Artificial Intelligence [[electronic resource] ] : 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I / / edited by Grigori Sidorov, Arturo Hernández Aguirre, Carlos Alberto Reyes Garcia |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XXIII, 479 p. 190 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Optical data processing Application software Pattern recognition Data mining Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Image Processing and Computer Vision Information Systems Applications (incl. Internet) Pattern Recognition Data Mining and Knowledge Discovery |
ISBN | 3-642-16761-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- Some Encounters on the Productive Use of a Failed Proof Attempt or a Counterexample -- Natural Language Processing -- Discourse Segmentation for Spanish Based on Shallow Parsing -- Towards Document Plagiarism Detection Based on the Relevance and Fragmentation of the Reused Text -- Lexicon Based Sentiment Analysis of Urdu Text Using SentiUnits -- A Semantic Oriented Approach to Textual Entailment Using WordNet-Based Measures -- On Managing Collaborative Dialogue Using an Agent-Based Architecture -- Dialog Structure Automatic Modeling -- A Probabilistic Model Based on n-Grams for Bilingual Word Sense Disambiguation -- Information Retrieval with a Simplified Conceptual Graph-Like Representation -- Teaching a Robot to Perform Tasks with Voice Commands -- Music Composition Based on Linguistic Approach -- Robotics, Planning and Scheduling -- A Practical Robot Coverage Algorithm for Unknown Environments -- An Algorithm for the Automatic Generation of Human-Like Motions Based on Examples -- Line Maps in Cluttered Environments -- Fuzzy Cognitive Maps for Modeling Complex Systems -- Semantic Representation and Management of Student Models: An Approach to Adapt Lecture Sequencing to Enhance Learning -- An Effective Heuristic for the No-Wait Flowshop with Sequence-Dependent Setup Times Problem -- Optimizing Alternatives in Precedence Networks -- AI-Based Integrated Scheduling of Production and Transportation Operations within Military Supply Chains -- Turbo Codification Techniques for Error Control in a Communication Channel -- A New Graphical Recursive Pruning Method for the Incremental Pruning Algorithm -- A New Pruning Method for Incremental Pruning Algorithm Using a Sweeping Scan-Line through the Belief Space -- POMDP Filter: Pruning POMDP Value Functions with the Kaczmarz Iterative Method -- Computer Vision and Image Processing -- Testing Image Segmentation for Topological SLAM with Omnidirectional Images -- Automatic Image Annotation Using Multiple Grid Segmentation -- Spatio-temporal Image Tracking Based on Optical Flow and Clustering: An Endoneurosonographic Application -- One Trilateral Filter Based on Surface Normal -- Beta-Measure for Probabilistic Segmentation -- Robust Spatial Regularization and Velocity Layer Separation for Optical Flow Computation on Transparent Sequences -- SAR Image Denoising Using the Non-Subsampled Contourlet Transform and Morphological Operators -- Logic and Distributed Systems -- Scheme-Based Synthesis of Inductive Theories -- A Possibilistic Intuitionistic Logic -- Jason Induction of Logical Decision Trees: A Learning Library and Its Application to Commitment -- Extending Soft Arc Consistency Algorithms to Non-invertible Semirings -- Frequency Transition Based Upon Dynamic Consensus for a Distributed System -- AI-Based Medical Application -- Towards Ubiquitous Acquisition and Processing of Gait Parameters -- Intelligent Wheelchair and Virtual Training by LabVIEW -- Environmental Pattern Recognition for Assessment of Air Quality Data with the Gamma Classifier -- Massive Particles for Brain Tractography -- Emotional Conversational Agents in Clinical Psychology and Psychiatry -- Knowledge-Based System for Diagnosis of Metabolic Alterations in Undergraduate Students. |
Record Nr. | UNINA-9910484964503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Artificial Intelligence [[electronic resource] ] : 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings / / edited by Grigoris Antoniou, George Potamias, Costas Spyropoulos, Dimitris Plexousakis |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XVII, 611 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Application software Information storage and retrieval Algorithms Optical data processing Database management Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval Algorithm Analysis and Problem Complexity Image Processing and Computer Vision Database Management |
ISBN | 3-540-34118-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Planning with Stochastic Petri-Nets and Neural Nets -- Data Mining Using Fractals and Power Laws -- Full Papers -- Voice Activity Detection Using Generalized Gamma Distribution -- A Framework for Uniform Development of Intelligent Virtual Agents -- A Mixture Model Based Markov Random Field for Discovering Patterns in Sequences -- An Efficient Hardware Implementation for AI Applications -- Handling Knowledge-Based Decision Making Issues in Collaborative Settings: An Integrated Approach -- Market Clearing Price Forecasting in Deregulated Electricity Markets Using Adaptively Trained Neural Networks -- Adaptive-Partitioning-Based Stochastic Optimization Algorithm and Its Application to Fuzzy Control Design -- Fuzzy Granulation-Based Cascade Fuzzy Neural Networks Optimized by GA-RSL -- Using Self-similarity Matrices for Structure Mining on News Video -- Spam Detection Using Character N-Grams -- Improved Wind Power Forecasting Using a Combined Neuro-fuzzy and Artificial Neural Network Model -- A Long-Term Profit Seeking Strategy for Continuous Double Auctions in a Trading Agent Competition -- A Robust Agent Design for Dynamic SCM Environments -- A Novel Updating Scheme for Probabilistic Latent Semantic Indexing -- Local Additive Regression of Decision Stumps -- Mining Time Series with Mine Time -- Behaviour Flexibility in Dynamic and Unpredictable Environments: The ICagent Approach -- Investigation of Decision Trees (DTs) Parameters for Power System Voltage Stability Enhancement -- An Improved Hybrid Genetic Clustering Algorithm -- A Greek Named-Entity Recognizer That Uses Support Vector Machines and Active Learning -- Intelligent Segmentation and Classification of Pigmented Skin Lesions in Dermatological Images -- Modelling Robotic Cognitive Mechanisms by Hierarchical Cooperative CoEvolution -- Bayesian Feature Construction -- Musical Instrument Recognition and Classification Using Time Encoded Signal Processing and Fast Artificial Neural Networks -- O-DEVICE: An Object-Oriented Knowledge Base System for OWL Ontologies -- Abduction for Extending Incomplete Information Sources -- Post Supervised Based Learning of Feature Weight Values -- Recognition of Greek Phonemes Using Support Vector Machines -- Ensemble Pruning Using Reinforcement Learning -- Mining Bilingual Lexical Equivalences Out of Parallel Corpora -- Feed-Forward Neural Networks Using Hermite Polynomial Activation Functions -- A Distributed Branch-and-Bound Algorithm for Computing Optimal Coalition Structures -- Pattern Matching-Based System for Machine Translation (MT) -- Bayesian Metanetwork for Context-Sensitive Feature Relevance -- Prediction of Translation Initiation Sites Using Classifier Selection -- Improving Neural Network Based Option Price Forecasting -- Large Scale Multikernel RVM for Object Detection -- Extraction of Salient Contours in Color Images -- Dynamic Security Assessment and Load Shedding Schemes Using Self Organized Maps and Decision Trees -- Towards Automatic Synthesis of Educational Resources Through Automated Planning -- Towards Capturing and Enhancing Entertainment in Computer Games -- Employing Fujisaki’s Intonation Model Parameters for Emotion Recognition -- Detection of Vocal Fold Paralysis and Edema Using Linear Discriminant Classifiers -- Short Papers -- An Artificial Neural Network for the Selection of Winding Material in Power Transformers -- Biomedical Literature Mining for Text Classification and Construction of Gene Networks -- Towards Representational Autonomy of Agents in Artificial Environments -- Combining Credibility in a Source Sensitive Argumentation System -- An Environment for Constructing and Exploring Visual Models of Logic Propositions by Young Students -- Bridging Ontology Evolution and Belief Change -- A Holistic Methodology for Keyword Search in Historical Typewritten Documents -- Color Features for Image Fingerprinting -- Neural Recognition and Genetic Features Selection for Robust Detection of E-Mail Spam -- Violence Content Classification Using Audio Features -- An Analysis of Linear Weight Updating Algorithms for Text Classification -- On Small Data Sets Revealing Big Differences -- A Significance-Based Graph Model for Clustering Web Documents -- Supporting Clinico-Genomic Knowledge Discovery: A Multi-strategy Data Mining Process -- SHARE-ODS: An Ontology Data Service for Search and Rescue Operations -- Graphical Representation of Defeasible Logic Rules Using Digraphs -- An Efficient Peer to Peer Image Retrieval Technique Using Content Addressable Networks -- Predicting Fraudulent Financial Statements with Machine Learning Techniques -- Discrimination of Benign from Malignant Breast Lesions Using Statistical Classifiers -- Comparison of Data Fusion Techniques for Robot Navigation -- On Improving Mobile Robot Motion Control -- Consistency of the Matching Predicate -- Intrusion Detection Using Emergent Self-organizing Maps -- Mapping Fundamental Business Process Modelling Language to OWL-S -- Modeling Perceived Value of Color in Web Sites -- Introducing Interval Analysis in Fuzzy Cognitive Map Framework -- Discovering Ontologies for e-Learning Platforms -- Exploiting Group Thinking in Organization-Oriented Programming -- Multimodal Continuous Recognition System for Greek Sign Language Using Various Grammars -- An Alternative Suggestion for Vision-Language Integration in Intelligent Agents -- Specification of Reconfigurable MAS: A Hybrid Formal Approach -- An Intelligent Statistical Arbitrage Trading System -- Revising Faceted Taxonomies and CTCA Expressions -- Neighboring Feature Clustering. |
Record Nr. | UNISA-996465875703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in Artificial Intelligence [[electronic resource] ] : 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings / / edited by Grigoris Antoniou, George Potamias, Costas Spyropoulos, Dimitris Plexousakis |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XVII, 611 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Application software Information storage and retrieval Algorithms Optical data processing Database management Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval Algorithm Analysis and Problem Complexity Image Processing and Computer Vision Database Management |
ISBN | 3-540-34118-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Planning with Stochastic Petri-Nets and Neural Nets -- Data Mining Using Fractals and Power Laws -- Full Papers -- Voice Activity Detection Using Generalized Gamma Distribution -- A Framework for Uniform Development of Intelligent Virtual Agents -- A Mixture Model Based Markov Random Field for Discovering Patterns in Sequences -- An Efficient Hardware Implementation for AI Applications -- Handling Knowledge-Based Decision Making Issues in Collaborative Settings: An Integrated Approach -- Market Clearing Price Forecasting in Deregulated Electricity Markets Using Adaptively Trained Neural Networks -- Adaptive-Partitioning-Based Stochastic Optimization Algorithm and Its Application to Fuzzy Control Design -- Fuzzy Granulation-Based Cascade Fuzzy Neural Networks Optimized by GA-RSL -- Using Self-similarity Matrices for Structure Mining on News Video -- Spam Detection Using Character N-Grams -- Improved Wind Power Forecasting Using a Combined Neuro-fuzzy and Artificial Neural Network Model -- A Long-Term Profit Seeking Strategy for Continuous Double Auctions in a Trading Agent Competition -- A Robust Agent Design for Dynamic SCM Environments -- A Novel Updating Scheme for Probabilistic Latent Semantic Indexing -- Local Additive Regression of Decision Stumps -- Mining Time Series with Mine Time -- Behaviour Flexibility in Dynamic and Unpredictable Environments: The ICagent Approach -- Investigation of Decision Trees (DTs) Parameters for Power System Voltage Stability Enhancement -- An Improved Hybrid Genetic Clustering Algorithm -- A Greek Named-Entity Recognizer That Uses Support Vector Machines and Active Learning -- Intelligent Segmentation and Classification of Pigmented Skin Lesions in Dermatological Images -- Modelling Robotic Cognitive Mechanisms by Hierarchical Cooperative CoEvolution -- Bayesian Feature Construction -- Musical Instrument Recognition and Classification Using Time Encoded Signal Processing and Fast Artificial Neural Networks -- O-DEVICE: An Object-Oriented Knowledge Base System for OWL Ontologies -- Abduction for Extending Incomplete Information Sources -- Post Supervised Based Learning of Feature Weight Values -- Recognition of Greek Phonemes Using Support Vector Machines -- Ensemble Pruning Using Reinforcement Learning -- Mining Bilingual Lexical Equivalences Out of Parallel Corpora -- Feed-Forward Neural Networks Using Hermite Polynomial Activation Functions -- A Distributed Branch-and-Bound Algorithm for Computing Optimal Coalition Structures -- Pattern Matching-Based System for Machine Translation (MT) -- Bayesian Metanetwork for Context-Sensitive Feature Relevance -- Prediction of Translation Initiation Sites Using Classifier Selection -- Improving Neural Network Based Option Price Forecasting -- Large Scale Multikernel RVM for Object Detection -- Extraction of Salient Contours in Color Images -- Dynamic Security Assessment and Load Shedding Schemes Using Self Organized Maps and Decision Trees -- Towards Automatic Synthesis of Educational Resources Through Automated Planning -- Towards Capturing and Enhancing Entertainment in Computer Games -- Employing Fujisaki’s Intonation Model Parameters for Emotion Recognition -- Detection of Vocal Fold Paralysis and Edema Using Linear Discriminant Classifiers -- Short Papers -- An Artificial Neural Network for the Selection of Winding Material in Power Transformers -- Biomedical Literature Mining for Text Classification and Construction of Gene Networks -- Towards Representational Autonomy of Agents in Artificial Environments -- Combining Credibility in a Source Sensitive Argumentation System -- An Environment for Constructing and Exploring Visual Models of Logic Propositions by Young Students -- Bridging Ontology Evolution and Belief Change -- A Holistic Methodology for Keyword Search in Historical Typewritten Documents -- Color Features for Image Fingerprinting -- Neural Recognition and Genetic Features Selection for Robust Detection of E-Mail Spam -- Violence Content Classification Using Audio Features -- An Analysis of Linear Weight Updating Algorithms for Text Classification -- On Small Data Sets Revealing Big Differences -- A Significance-Based Graph Model for Clustering Web Documents -- Supporting Clinico-Genomic Knowledge Discovery: A Multi-strategy Data Mining Process -- SHARE-ODS: An Ontology Data Service for Search and Rescue Operations -- Graphical Representation of Defeasible Logic Rules Using Digraphs -- An Efficient Peer to Peer Image Retrieval Technique Using Content Addressable Networks -- Predicting Fraudulent Financial Statements with Machine Learning Techniques -- Discrimination of Benign from Malignant Breast Lesions Using Statistical Classifiers -- Comparison of Data Fusion Techniques for Robot Navigation -- On Improving Mobile Robot Motion Control -- Consistency of the Matching Predicate -- Intrusion Detection Using Emergent Self-organizing Maps -- Mapping Fundamental Business Process Modelling Language to OWL-S -- Modeling Perceived Value of Color in Web Sites -- Introducing Interval Analysis in Fuzzy Cognitive Map Framework -- Discovering Ontologies for e-Learning Platforms -- Exploiting Group Thinking in Organization-Oriented Programming -- Multimodal Continuous Recognition System for Greek Sign Language Using Various Grammars -- An Alternative Suggestion for Vision-Language Integration in Intelligent Agents -- Specification of Reconfigurable MAS: A Hybrid Formal Approach -- An Intelligent Statistical Arbitrage Trading System -- Revising Faceted Taxonomies and CTCA Expressions -- Neighboring Feature Clustering. |
Record Nr. | UNINA-9910484162403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Artificial Intelligence -- IBERAMIA 2004 [[electronic resource] ] : 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings / / edited by Christian Lemaitre, Carlos A. Reyes, Jesus A. Gonzalez |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XXXIII, 990 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computers Optical data processing Artificial Intelligence Computation by Abstract Devices Image Processing and Computer Vision |
ISBN | 3-540-30498-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | IBERAMIA 2004 -- Checking Social Properties of Multi-agent Systems with Activity Theory -- MARCS Multi-agent Railway Control System -- Dynamic Quality Control Based on Fuzzy Agents for Multipoint Videoconferencing -- A Component and Aspect-Based Architecture for Rapid Software Agent Development -- Formalization of Cooperation in MAS: Towards a Generic Conceptual Model -- Web-Enabling MultiAgent Systems -- Gaining Competitive Advantage Through Learning Agent Models -- Towards an Efficient Rule-Based Coordination of Web Services -- Applying Rough Sets Reduction Techniques to the Construction of a Fuzzy Rule Base for Case Based Reasoning -- Dynamic Case Base Maintenance for a Case-Based Reasoning System -- A Case Base Seeding for Case-Based Planning Systems -- Handling Numeric Criteria in Relaxed Planning Graphs -- Constrainedness and Redundancy by Constraint Ordering -- To Block or Not to Block? -- Adaptive Penalty Weights When Solving Congress Timetabling -- Decomposition Approaches for a Capacitated Hub Problem -- An Efficient Method to Schedule New Trains on a Heavily Loaded Railway Network -- Studs, Seeds and Immigrants in Evolutionary Algorithms for Unrestricted Parallel Machine Scheduling -- An Investigation on Genetic Algorithms for Generic STRIPS Planning -- Improving Numerical Reasoning Capabilities of Inductive Logic Programming Systems -- Enhanced ICA Mixture Model for Unsupervised Classification -- Analysis of Galactic Spectra Using Active Instance-Based Learning and Domain Knowledge -- Adapting Evolutionary Parameters by Dynamic Filtering for Operators Inheritance Strategy -- Collaborative Filtering Based on Modal Symbolic User Profiles: Knowing You in the First Meeting -- Machine Learning by Multi-feature Extraction Using Genetic Algorithms -- Assignment of Semantic Roles Based on Word Sense Disambiguation -- Multi-session Management in Spoken Dialogue System -- Semantically-Driven Explanatory Text Mining: Beyond Keywords -- An Electronic Assistant for Poetry Writing -- Improving the Performance of a Named Entity Extractor by Applying a Stacking Scheme -- Automatic Text Summarization with Genetic Algorithm-Based Attribute Selection -- Coordination Revisited – A Constraint Handling Rule Approach -- Question Answering for Spanish Based on Lexical and Context Annotation -- A Max-SAT Solver with Lazy Data Structures -- Three Valued Logic of ?ukasiewicz for Modeling Semantics of Logic Programs -- Answer Set Programming and S4 -- A Rippling-Based Difference Reduction Technique to Automatically Prove Security Protocol Goals -- On Some Differences Between Semantics of Logic Program Updates -- Towards CNC Programming Using Haskell -- Well Founded Semantics for Logic Program Updates -- A First Order Temporal Logic for Behavior Representation -- Improved Tupling for Optimizing Multi-paradigm Declarative Programs -- Polynomial Classes of Boolean Formulas for Computing the Degree of Belief -- Combining Quality Measures to Identify Interesting Association Rules -- Two Partitional Methods for Interval-Valued Data Using Mahalanobis Distances -- A Classifier for Quantitative Feature Values Based on a Region Oriented Symbolic Approach -- The Protein Folding Problem Solved by a Fuzzy Inference System Extracted from an Artificial Neural Network -- A Multi-robot Strategy for Rapidly Searching a Polygonal Environment -- Internet-Based Teleoperation Control with Real-Time Haptic and Visual Feedback -- Representation Development and Behavior Modifiers -- New Technique to Improve Probabilistic Roadmap Methods -- A New Neural Architecture Based on ART and AVITE Models for Anticipatory Sensory-Motor Coordination in Robotics -- Development of Local Perception-Based Behaviors for a Robotic Soccer Player -- Statistical Inference in Mapping and Localization for Mobile Robots -- Fusing a Laser Range Finder and a Stereo Vision System to Detect Obstacles in 3D -- Adaptive Automata for Mapping Unknown Environments by Mobile Robots -- Digital Image Processing of Functional Magnetic Resonance Images to Identify Stereo-Sensitive Cortical Regions Using Dynamic Global Stimuli -- An Image Analysis System to Compute the Predominant Direction of Motion in a Foucault Pendulum -- A Perceptual User Interface Using Mean Shift -- Projected Fringe Technique in 3D Surface Acquisition -- Optimized Object Recognition Based on Neural Networks Via Non-uniform Sampling of Appearance-Based Models -- A Statistical Validation of Vessel Segmentation in Medical Images -- Structural Recognition with Kernelized Softassign -- Kernel Based Method for Segmentation and Modeling of Magnetic Resonance Images -- Real-Valued Pattern Recall by Associative Memory -- Binary Associative Memories Applied to Gray Level Pattern Recalling -- Selection of an Automated Morphological Gradient Threshold for Image Segmentation. Application to Vision-Based Path Planning -- Color Image Classification Through Fitting of Implicit Surfaces -- Transforming Fundamental Set of Patterns to a Canonical Form to Improve Pattern Recall -- Nonlinear System Identification Using ANFIS Based on Emotional Learning -- Improving k-NN by Using Fuzzy Similarity Functions -- Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs -- Comparing Metrics in Fuzzy Clustering for Symbolic Data on SODAS Format -- Estimating User Location in a WLAN Using Backpropagation Neural Networks -- On the Optimal Computation of Finite Field Exponentiation -- Particle Swarm Optimization in Non-stationary Environments -- An Efficient Learning Algorithm for Feedforward Neural Network -- Combining Data Reduction and Parameter Selection for Improving RBF-DDA Performance -- Bidirectional Neural Network for Clustering Problems -- Reducing the Complexity of Kernel Machines with Neural Growing Gas in Feature Space -- Multirecombined Evolutionary Algorithm Inspired in the Selfish Gene Theory to Face the Weighted Tardiness Scheduling Problem -- A Novel Approach to Function Approximation: Adaptive Multimodule Regression Networks -- A Novel Hybrid Approach of Mean Field Annealing and Genetic Algorithm for Load Balancing Problem -- Geodesic Topographic Product: An Improvement to Measure Topology Preservation of Self-Organizing Neural Networks -- A Genetic Algorithm for the Shortest Common Superstring Problem -- Improving the Efficiency of a Clustering Genetic Algorithm -- The Hopfield Associative Memory Network: Improving Performance with the Kernel “Trick” -- A Cultural Algorithm with Differential Evolution to Solve Constrained Optimization Problems -- An Approach of Student Modelling in a Learning Companion System -- A BDI Approach to Infer Student’s Emotions -- Mobile Robotic Supported Collaborative Learning (MRSCL) -- Evaluation of the Teaching-Learning Process with Fuzzy Cognitive Maps -- Using Simulated Annealing for Discrete Optimal Control Systems Design -- Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering -- Implementation of a Linguistic Fuzzy Relational Neural Network for Detecting Pathologies by Infant Cry Recognition -- Adding Personality to Chatterbots Using the Persona-AIML Architecture -- DIMEx100: A New Phonetic and Speech Corpus for Mexican Spanish. |
Record Nr. | UNINA-9910144337103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Artificial Intelligence -- IBERAMIA 2004 [[electronic resource] ] : 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings / / edited by Christian Lemaitre, Carlos A. Reyes, Jesus A. Gonzalez |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XXXIII, 990 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computers Optical data processing Artificial Intelligence Computation by Abstract Devices Image Processing and Computer Vision |
ISBN | 3-540-30498-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | IBERAMIA 2004 -- Checking Social Properties of Multi-agent Systems with Activity Theory -- MARCS Multi-agent Railway Control System -- Dynamic Quality Control Based on Fuzzy Agents for Multipoint Videoconferencing -- A Component and Aspect-Based Architecture for Rapid Software Agent Development -- Formalization of Cooperation in MAS: Towards a Generic Conceptual Model -- Web-Enabling MultiAgent Systems -- Gaining Competitive Advantage Through Learning Agent Models -- Towards an Efficient Rule-Based Coordination of Web Services -- Applying Rough Sets Reduction Techniques to the Construction of a Fuzzy Rule Base for Case Based Reasoning -- Dynamic Case Base Maintenance for a Case-Based Reasoning System -- A Case Base Seeding for Case-Based Planning Systems -- Handling Numeric Criteria in Relaxed Planning Graphs -- Constrainedness and Redundancy by Constraint Ordering -- To Block or Not to Block? -- Adaptive Penalty Weights When Solving Congress Timetabling -- Decomposition Approaches for a Capacitated Hub Problem -- An Efficient Method to Schedule New Trains on a Heavily Loaded Railway Network -- Studs, Seeds and Immigrants in Evolutionary Algorithms for Unrestricted Parallel Machine Scheduling -- An Investigation on Genetic Algorithms for Generic STRIPS Planning -- Improving Numerical Reasoning Capabilities of Inductive Logic Programming Systems -- Enhanced ICA Mixture Model for Unsupervised Classification -- Analysis of Galactic Spectra Using Active Instance-Based Learning and Domain Knowledge -- Adapting Evolutionary Parameters by Dynamic Filtering for Operators Inheritance Strategy -- Collaborative Filtering Based on Modal Symbolic User Profiles: Knowing You in the First Meeting -- Machine Learning by Multi-feature Extraction Using Genetic Algorithms -- Assignment of Semantic Roles Based on Word Sense Disambiguation -- Multi-session Management in Spoken Dialogue System -- Semantically-Driven Explanatory Text Mining: Beyond Keywords -- An Electronic Assistant for Poetry Writing -- Improving the Performance of a Named Entity Extractor by Applying a Stacking Scheme -- Automatic Text Summarization with Genetic Algorithm-Based Attribute Selection -- Coordination Revisited – A Constraint Handling Rule Approach -- Question Answering for Spanish Based on Lexical and Context Annotation -- A Max-SAT Solver with Lazy Data Structures -- Three Valued Logic of ?ukasiewicz for Modeling Semantics of Logic Programs -- Answer Set Programming and S4 -- A Rippling-Based Difference Reduction Technique to Automatically Prove Security Protocol Goals -- On Some Differences Between Semantics of Logic Program Updates -- Towards CNC Programming Using Haskell -- Well Founded Semantics for Logic Program Updates -- A First Order Temporal Logic for Behavior Representation -- Improved Tupling for Optimizing Multi-paradigm Declarative Programs -- Polynomial Classes of Boolean Formulas for Computing the Degree of Belief -- Combining Quality Measures to Identify Interesting Association Rules -- Two Partitional Methods for Interval-Valued Data Using Mahalanobis Distances -- A Classifier for Quantitative Feature Values Based on a Region Oriented Symbolic Approach -- The Protein Folding Problem Solved by a Fuzzy Inference System Extracted from an Artificial Neural Network -- A Multi-robot Strategy for Rapidly Searching a Polygonal Environment -- Internet-Based Teleoperation Control with Real-Time Haptic and Visual Feedback -- Representation Development and Behavior Modifiers -- New Technique to Improve Probabilistic Roadmap Methods -- A New Neural Architecture Based on ART and AVITE Models for Anticipatory Sensory-Motor Coordination in Robotics -- Development of Local Perception-Based Behaviors for a Robotic Soccer Player -- Statistical Inference in Mapping and Localization for Mobile Robots -- Fusing a Laser Range Finder and a Stereo Vision System to Detect Obstacles in 3D -- Adaptive Automata for Mapping Unknown Environments by Mobile Robots -- Digital Image Processing of Functional Magnetic Resonance Images to Identify Stereo-Sensitive Cortical Regions Using Dynamic Global Stimuli -- An Image Analysis System to Compute the Predominant Direction of Motion in a Foucault Pendulum -- A Perceptual User Interface Using Mean Shift -- Projected Fringe Technique in 3D Surface Acquisition -- Optimized Object Recognition Based on Neural Networks Via Non-uniform Sampling of Appearance-Based Models -- A Statistical Validation of Vessel Segmentation in Medical Images -- Structural Recognition with Kernelized Softassign -- Kernel Based Method for Segmentation and Modeling of Magnetic Resonance Images -- Real-Valued Pattern Recall by Associative Memory -- Binary Associative Memories Applied to Gray Level Pattern Recalling -- Selection of an Automated Morphological Gradient Threshold for Image Segmentation. Application to Vision-Based Path Planning -- Color Image Classification Through Fitting of Implicit Surfaces -- Transforming Fundamental Set of Patterns to a Canonical Form to Improve Pattern Recall -- Nonlinear System Identification Using ANFIS Based on Emotional Learning -- Improving k-NN by Using Fuzzy Similarity Functions -- Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs -- Comparing Metrics in Fuzzy Clustering for Symbolic Data on SODAS Format -- Estimating User Location in a WLAN Using Backpropagation Neural Networks -- On the Optimal Computation of Finite Field Exponentiation -- Particle Swarm Optimization in Non-stationary Environments -- An Efficient Learning Algorithm for Feedforward Neural Network -- Combining Data Reduction and Parameter Selection for Improving RBF-DDA Performance -- Bidirectional Neural Network for Clustering Problems -- Reducing the Complexity of Kernel Machines with Neural Growing Gas in Feature Space -- Multirecombined Evolutionary Algorithm Inspired in the Selfish Gene Theory to Face the Weighted Tardiness Scheduling Problem -- A Novel Approach to Function Approximation: Adaptive Multimodule Regression Networks -- A Novel Hybrid Approach of Mean Field Annealing and Genetic Algorithm for Load Balancing Problem -- Geodesic Topographic Product: An Improvement to Measure Topology Preservation of Self-Organizing Neural Networks -- A Genetic Algorithm for the Shortest Common Superstring Problem -- Improving the Efficiency of a Clustering Genetic Algorithm -- The Hopfield Associative Memory Network: Improving Performance with the Kernel “Trick” -- A Cultural Algorithm with Differential Evolution to Solve Constrained Optimization Problems -- An Approach of Student Modelling in a Learning Companion System -- A BDI Approach to Infer Student’s Emotions -- Mobile Robotic Supported Collaborative Learning (MRSCL) -- Evaluation of the Teaching-Learning Process with Fuzzy Cognitive Maps -- Using Simulated Annealing for Discrete Optimal Control Systems Design -- Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering -- Implementation of a Linguistic Fuzzy Relational Neural Network for Detecting Pathologies by Infant Cry Recognition -- Adding Personality to Chatterbots Using the Persona-AIML Architecture -- DIMEx100: A New Phonetic and Speech Corpus for Mexican Spanish. |
Record Nr. | UNISA-996465499203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in Artificial Reality and Tele-Existence [[electronic resource] ] : 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, Hangzhou, China, November 28 - December 1, 2006, Proceedings / / edited by Ronghua Liang, Zhigeng Pan, Adrian Cheok, Michael Haller, Rynson W.H. Lau, Hideo Saito |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XLVI, 1350 p.) |
Disciplina | 006.8 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
User interfaces (Computer systems)
Artificial intelligence Application software Multimedia information systems Optical data processing User Interfaces and Human Computer Interaction Artificial Intelligence Information Systems Applications (incl. Internet) Multimedia Information Systems Image Processing and Computer Vision Computer Appl. in Arts and Humanities |
ISBN | 3-540-49779-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Anthropomorphic Intelligent Robotics, Artificial Life -- Augmented Reality/Mixed Reality -- Distributed and Collaborative VR System -- Haptics, Human Factors of VR -- Innovative Applications of VR -- Motion Tracking -- Real Time Computer Simulation -- Tools and Technique for Modeling VR Systems -- Ubiquitous/Wearable Computing -- Virtual Heritage, Virtual Medicine and Health Science -- Virtual Reality -- VR Interaction and Navigation Techniques. |
Record Nr. | UNISA-996465923603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in Artificial Reality and Tele-Existence [[electronic resource] ] : 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, Hangzhou, China, November 28 - December 1, 2006, Proceedings / / edited by Ronghua Liang, Zhigeng Pan, Adrian Cheok, Michael Haller, Rynson W.H. Lau, Hideo Saito |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XLVI, 1350 p.) |
Disciplina | 006.8 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
User interfaces (Computer systems)
Artificial intelligence Application software Multimedia information systems Optical data processing User Interfaces and Human Computer Interaction Artificial Intelligence Information Systems Applications (incl. Internet) Multimedia Information Systems Image Processing and Computer Vision Computer Appl. in Arts and Humanities |
ISBN | 3-540-49779-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Anthropomorphic Intelligent Robotics, Artificial Life -- Augmented Reality/Mixed Reality -- Distributed and Collaborative VR System -- Haptics, Human Factors of VR -- Innovative Applications of VR -- Motion Tracking -- Real Time Computer Simulation -- Tools and Technique for Modeling VR Systems -- Ubiquitous/Wearable Computing -- Virtual Heritage, Virtual Medicine and Health Science -- Virtual Reality -- VR Interaction and Navigation Techniques. |
Record Nr. | UNINA-9910483089903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Autonomous Robotics [[electronic resource] ] : Joint Proceedings of the 13th Annual TAROS Conference and the 15th Annual FIRA RoboWorld Congress, Bristol, UK, August 20-23, 2012, Proceedings / / edited by Guido Herrmann, Matthew Studley, Martin Pearson, Andrew Conn, Chris Melhuish, Mark Witkowski, Jong-Hwan Kim, Prahlad Vadakkepat |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XVI, 469 p. 135 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Optical data processing User interfaces (Computer systems) Data mining Artificial Intelligence Image Processing and Computer Vision User Interfaces and Human Computer Interaction Data Mining and Knowledge Discovery |
ISBN | 3-642-32527-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465435603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in Autonomous Robotics Systems [[electronic resource] ] : 15th Annual Conference, TAROS 2014, Birmingham, UK, September 1-3, 2014. Proceedings / / edited by Michael Mistry, Aleš Leonardis, Mark Witkowski, Chris Melhuish |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIV, 284 p. 151 illus.) |
Disciplina | 629.892 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Optical data processing User interfaces (Computer systems) Data mining Computers Application software Artificial Intelligence Image Processing and Computer Vision User Interfaces and Human Computer Interaction Data Mining and Knowledge Discovery Computation by Abstract Devices Information Systems Applications (incl. Internet) |
ISBN | 3-319-10401-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Modeling of a Large Structured Environment: With a Repetitive Canonical Geometric-Semantic Model -- Monte Carlo Localization for Teach-and-Repeat Feature-Based Navigation -- An Improved Cellular Automata-Based Model for Robot Path-Planning -- Bioinspired Mechanisms and Sensorimotor Schemes for Flying: A Preliminary Study for a Robotic Bat -- Evolutionary Coordination System for Fixed-Wing Communications Unmanned Aerial Vehicles -- Multi-agent Environment Exploration with AR.Drones -- H∞ Path Tracking Control for Quadrotors Based on Quaternion Representation -- Towards an Ethical Robot: Internal Models, Consequences and Ethical Action Selection -- “The Fridge Door is Open”–Temporal Verification of a Robotic Assistant’s Behaviours -- Implementation and Test of Human-Operated and Human-Like Adaptive Impedance Controls on Baxter Robot -- Hybrid Communication System for Long Range Resource Tracking in Search and Rescue Scenarios -- Wearable Self Sufficient MFC Communication System Powered by Urine -- Morphogenetic Self-Organization of Collective Movement without Directional Sensing -- The Pi Swarm: A Low-Cost Platform for Swarm Robotics Research and Education -- Tactile Features: Recognising Touch Sensations with a Novel and Inexpensive Tactile Sensor -- Polygonal Models for Clothing -- Design of a Multi-purpose Low-Cost Mobile Robot for Research and Education -- Adaptive Swarm Robot Region Coverage Using Gene Regulatory Networks -- Communicating Unknown Objects to Robots through Pointing Gestures -- A Cost-Effective Automatic 3D Reconstruction Pipeline for Plants Using Multi-view Images -- Improving the Generation of Rapidly Exploring Randomised Trees (RRTs) in Large Scale Virtual Environments Using Trails -- Intelligent Computation of Inverse Kinematics of a 5-dof Manipulator Using MLPNN -- Humanoid Robot Gait Generator: Foot Steps Calculation for Trajectory Following -- A Method for Matching Desired Non-Feature Points to Size Martian Rocks Based upon SIFT -- CogLaboration: Towards Fluent Human-Robot Object Handover Interactions -- euRathlon Outdoor Robotics Challenge: Year 1 Report -- FROctomap: An Efficient Spatio-Temporal Environment Representation -- Combined Force and Position Controller Based on Inverse Dynamics: Application to Cooperative Robotics (Extended Abstract) -- Learning Objects from RGB-D Sensors for Cleaning Tasks Using a Team of Cooperative Humanoid Robots -- Acoustic Based Search and Rescue on a UAV -- Visual Commands for Tracking and Control -- A Novel Saliency Method Based on Restricted Boltzmann Machine (RBM) and Its Application to Planetary Exploration. |
Record Nr. | UNISA-996202531003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|