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.
Artificial intelligence : methodology, systems, and applications : 14th international conference, AIMSA 2010, Varna, Bulgaria, September 8-10, 2010 : proceedings / / Darina Dicheva, Danail Dochev (eds.)
| Artificial intelligence : methodology, systems, and applications : 14th international conference, AIMSA 2010, Varna, Bulgaria, September 8-10, 2010 : proceedings / / Darina Dicheva, Danail Dochev (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XIV, 286 p. 100 illus.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
DichevaDarina
DochevDanail |
| Collana |
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science |
| Soggetto topico |
Artificial intelligence
Self-organizing systems |
| ISBN |
1-280-38863-3
9786613566553 3-642-15431-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge Representation and Reasoning -- Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments -- Use-Based Discovery of Pervasive Services -- Expressive Approximations in DL-Lite Ontologies -- Reasoning Mechanism for Cardinal Direction Relations -- A Framework for Time-Series Analysis -- Intelligent Techniques for Adaptation, Personalization, and Recommendation -- Cross-Language Personalization through a Semantic Content-Based Recommender System -- Towards Effective Recommendation of Social Data across Social Networking Sites -- Term Ranking and Categorization for Ad-Hoc Navigation -- Time Optimized Algorithm for Web Document Presentation Adaptation -- Constraints and Search -- Discrepancy-Based Sliced Neighborhood Search -- Constraint Models for Reasoning on Unification in Inductive Logic Programming -- Coalition Structure Generation with GRASP -- Machine Learning, Data Mining, and Information Retrieval -- A Bayesian Model for Entity Type Disambiguation -- The Impact of Valence Shifters on Mining Implicit Economic Opinions -- Entity Popularity on the Web: Correlating ANSA News and AOL Search -- Using Machine Learning to Prescribe Warfarin -- Single-Stacking Conformity Approach to Reliable Classification -- A Relative Word-Frequency Based Method for Relevance Feedback -- AI in Education -- Sequence Detection for Adaptive Feedback Generation in an Exploratory Environment for Mathematical Generalisation -- A Deep Insight in Chat Analysis: Collaboration, Evolution and Evaluation, Summarization and Search -- Ontology-Based Authoring of Intelligent Model-Tracing Math Tutors -- Applications -- Comparative Analysis of Distributed, Default, IC, and Fuzzy ARTMAP Neural Networks for Classification of Malignant and Benign Lesions -- An Adaptive Approach for Integration Analysis of Multiple Gene Expression Datasets -- EVTIMA: A System for IE from Hospital Patient Records in Bulgarian -- Direct Field Oriented Neural Control of a Three Phase Induction Motor -- General Shape Analysis Applied to Stamps Retrieval from Scanned Documents -- Posters -- Selection of Foundational Ontology for Collaborative Knowledge Modeling in Healthcare Domain -- Towards Ontological Blending -- Integration of Ontology with Development of Personalized E-Learning Facilities for Dyslexics -- A Meta Learning Approach: Classification by Cluster Analysis -- Mapping Data Driven and Upper Level Ontology -- Data Sample Reduction for Classification of Interval Information Using Neural Network Sensitivity Analysis -- Individualized Virtual Humans for Social Skills Training -- Signal Classification with Self-organizing Mixture Networks -- Simulation of the Autonomous Agent Behavior by Autoregressive Models -- Semi-partitioned Horn Clauses: A Tractable Logic of Types -- Feed Rate Profiles Synthesis Using Genetic Algorithms -- An Ontology of All of Computing: An Update on Challenges and Approaches. |
| Altri titoli varianti | AIMSA 2010 |
| Record Nr. | UNINA-9910484984203321 |
| Berlin, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial intelligence : methodology, systems, and applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2006 ; proceedings / / Danail Dochev, Marco Pistore, Paolo Traverso (editors)
| Artificial intelligence : methodology, systems, and applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2006 ; proceedings / / Danail Dochev, Marco Pistore, Paolo Traverso (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XII, 416 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-540-85776-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agents -- Context Model for Multi-Agent System Reconfiguration -- NN-Based Multiagent Platform for Testing Investing Strategies -- Towards Agent-Oriented Relevant Information -- The Agent Modeling Language (AMOLA) -- Natural Language Processing and Text Analysis -- Tailoring the Interpretation of Spatial Utterances for Playing a Board Game -- ASAP- An Advanced System for Assessing Chat Participants -- Using Text Segmentation to Enhance the Cluster Hypothesis -- Multilingual Plagiarism Detection -- Dealing with Spoken Requests in a Multimodal Question Answering System -- Noun Compound Interpretation Using Paraphrasing Verbs: Feasibility Study -- Machine Learning and Information Retrieval -- Optimising Predictive Control Based on Neural Models -- Prototypes Based Relational Learning -- Robustness Analysis of SARSA(?): Different Models of Reward and Initialisation -- Thematic Segment Retrieval Revisited -- Knowledge Representation and Reasoning -- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models -- Mapping Properties of Heterogeneous Ontologies -- A Logical Approach to Dynamic Role-Based Access Control -- Interpolative Boolean Logic -- Abstract Argumentation Scheme Frameworks -- Constraints, Heuristics, and Search -- Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models -- Incorporating Learning in Grid-Based Randomized SAT Solving -- Solving the Course Timetabling Problem with a Hybrid Heuristic Algorithm -- Heuristic Hill-Climbing as a Markov Process -- DynABT: Dynamic Asynchronous Backtracking for Dynamic DisCSPs -- Applications -- Centralized Indirect Control of an Anaerobic Digestion Bioprocess Using Recurrent Neural Identifier -- Logical Analysis of Mappings between Medical Classification Systems -- Modeling Reuse on Case-Based Reasoning with Application to Breast Cancer Diagnosis -- Toward Expert Knowledge Representation for Automatic Breast Cancer Detection -- Hybrid Wavelet-RBFNN Model for Monthly Anchovy Catches Forecasting -- Trilateration Analysis for Movement Planning in a Group of Mobile Robots -- Posters -- Dynamic and Neuro-Dynamic Optimization of a Fed-Batch Fermentation Process -- Classification Model for Estimation of Risk Factors in Cardiological Diagnostics -- A Hybrid Approach to Distributed Constraint Satisfaction -- Interleaved Alldifferent Constraints: CSP vs. SAT Approaches -- Adaptation of Personality-Based Decision Making to Crowd Behavior Simulations -- Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods -- A Social and Emotional Model for Obtaining Believable Emergent Behaviors -- A Learning Approach to Early Bug Prediction in Deployed Software -- Evolutionary Decision Support System for Stock Market Trading -- Suboptimal Nonlinear Predictive Control Based on Neural Wiener Models. |
| Record Nr. | UNISA-996466372203316 |
| Berlin, Heidelberg : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial intelligence : methodology, systems, and applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2006 ; proceedings / / Danail Dochev, Marco Pistore, Paolo Traverso (editors)
| Artificial intelligence : methodology, systems, and applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2006 ; proceedings / / Danail Dochev, Marco Pistore, Paolo Traverso (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XII, 416 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-540-85776-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agents -- Context Model for Multi-Agent System Reconfiguration -- NN-Based Multiagent Platform for Testing Investing Strategies -- Towards Agent-Oriented Relevant Information -- The Agent Modeling Language (AMOLA) -- Natural Language Processing and Text Analysis -- Tailoring the Interpretation of Spatial Utterances for Playing a Board Game -- ASAP- An Advanced System for Assessing Chat Participants -- Using Text Segmentation to Enhance the Cluster Hypothesis -- Multilingual Plagiarism Detection -- Dealing with Spoken Requests in a Multimodal Question Answering System -- Noun Compound Interpretation Using Paraphrasing Verbs: Feasibility Study -- Machine Learning and Information Retrieval -- Optimising Predictive Control Based on Neural Models -- Prototypes Based Relational Learning -- Robustness Analysis of SARSA(?): Different Models of Reward and Initialisation -- Thematic Segment Retrieval Revisited -- Knowledge Representation and Reasoning -- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models -- Mapping Properties of Heterogeneous Ontologies -- A Logical Approach to Dynamic Role-Based Access Control -- Interpolative Boolean Logic -- Abstract Argumentation Scheme Frameworks -- Constraints, Heuristics, and Search -- Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models -- Incorporating Learning in Grid-Based Randomized SAT Solving -- Solving the Course Timetabling Problem with a Hybrid Heuristic Algorithm -- Heuristic Hill-Climbing as a Markov Process -- DynABT: Dynamic Asynchronous Backtracking for Dynamic DisCSPs -- Applications -- Centralized Indirect Control of an Anaerobic Digestion Bioprocess Using Recurrent Neural Identifier -- Logical Analysis of Mappings between Medical Classification Systems -- Modeling Reuse on Case-Based Reasoning with Application to Breast Cancer Diagnosis -- Toward Expert Knowledge Representation for Automatic Breast Cancer Detection -- Hybrid Wavelet-RBFNN Model for Monthly Anchovy Catches Forecasting -- Trilateration Analysis for Movement Planning in a Group of Mobile Robots -- Posters -- Dynamic and Neuro-Dynamic Optimization of a Fed-Batch Fermentation Process -- Classification Model for Estimation of Risk Factors in Cardiological Diagnostics -- A Hybrid Approach to Distributed Constraint Satisfaction -- Interleaved Alldifferent Constraints: CSP vs. SAT Approaches -- Adaptation of Personality-Based Decision Making to Crowd Behavior Simulations -- Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods -- A Social and Emotional Model for Obtaining Believable Emergent Behaviors -- A Learning Approach to Early Bug Prediction in Deployed Software -- Evolutionary Decision Support System for Stock Market Trading -- Suboptimal Nonlinear Predictive Control Based on Neural Wiener Models. |
| Record Nr. | UNINA-9910484237203321 |
| Berlin, Heidelberg : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial Intelligence: Methodology, Systems, and Applications [[electronic resource] ] : 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10, 2010. Proceedings / / edited by Darina Dicheva, Danail Dochev
| Artificial Intelligence: Methodology, Systems, and Applications [[electronic resource] ] : 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10, 2010. Proceedings / / edited by Darina Dicheva, Danail Dochev |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 286 p. 100 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Data mining Application software Information storage and retrieval Database management Artificial Intelligence Computer Communication Networks Data Mining and Knowledge Discovery Information Systems Applications (incl. Internet) Information Storage and Retrieval Database Management |
| ISBN |
1-280-38863-3
9786613566553 3-642-15431-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge Representation and Reasoning -- Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments -- Use-Based Discovery of Pervasive Services -- Expressive Approximations in DL-Lite Ontologies -- Reasoning Mechanism for Cardinal Direction Relations -- A Framework for Time-Series Analysis -- Intelligent Techniques for Adaptation, Personalization, and Recommendation -- Cross-Language Personalization through a Semantic Content-Based Recommender System -- Towards Effective Recommendation of Social Data across Social Networking Sites -- Term Ranking and Categorization for Ad-Hoc Navigation -- Time Optimized Algorithm for Web Document Presentation Adaptation -- Constraints and Search -- Discrepancy-Based Sliced Neighborhood Search -- Constraint Models for Reasoning on Unification in Inductive Logic Programming -- Coalition Structure Generation with GRASP -- Machine Learning, Data Mining, and Information Retrieval -- A Bayesian Model for Entity Type Disambiguation -- The Impact of Valence Shifters on Mining Implicit Economic Opinions -- Entity Popularity on the Web: Correlating ANSA News and AOL Search -- Using Machine Learning to Prescribe Warfarin -- Single-Stacking Conformity Approach to Reliable Classification -- A Relative Word-Frequency Based Method for Relevance Feedback -- AI in Education -- Sequence Detection for Adaptive Feedback Generation in an Exploratory Environment for Mathematical Generalisation -- A Deep Insight in Chat Analysis: Collaboration, Evolution and Evaluation, Summarization and Search -- Ontology-Based Authoring of Intelligent Model-Tracing Math Tutors -- Applications -- Comparative Analysis of Distributed, Default, IC, and Fuzzy ARTMAP Neural Networks for Classification of Malignant and Benign Lesions -- An Adaptive Approach for Integration Analysis of Multiple Gene Expression Datasets -- EVTIMA: A System for IE from Hospital Patient Records in Bulgarian -- Direct Field Oriented Neural Control of a Three Phase Induction Motor -- General Shape Analysis Applied to Stamps Retrieval from Scanned Documents -- Posters -- Selection of Foundational Ontology for Collaborative Knowledge Modeling in Healthcare Domain -- Towards Ontological Blending -- Integration of Ontology with Development of Personalized E-Learning Facilities for Dyslexics -- A Meta Learning Approach: Classification by Cluster Analysis -- Mapping Data Driven and Upper Level Ontology -- Data Sample Reduction for Classification of Interval Information Using Neural Network Sensitivity Analysis -- Individualized Virtual Humans for Social Skills Training -- Signal Classification with Self-organizing Mixture Networks -- Simulation of the Autonomous Agent Behavior by Autoregressive Models -- Semi-partitioned Horn Clauses: A Tractable Logic of Types -- Feed Rate Profiles Synthesis Using Genetic Algorithms -- An Ontology of All of Computing: An Update on Challenges and Approaches. |
| Record Nr. | UNISA-996465709703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial Intelligence: Methodology, Systems, and Applications [[electronic resource] ] : 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000 Proceedings / / edited by Stefano A. Cerri, Danail Dochev
| Artificial Intelligence: Methodology, Systems, and Applications [[electronic resource] ] : 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000 Proceedings / / edited by Stefano A. Cerri, Danail Dochev |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XII, 372 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Algorithms Artificial Intelligence Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-45331-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge Construction -- Dynamic Knowledge Representation and Its Applications -- Using Consensus Methods for Determining the Representation of Expert Informationin Distributed Systems -- Drafting and Validating Regulations: The Inevitable Use of Intelligent Tools -- Steps towards C+C: A Language for Interactions -- Reasoning under Certainty -- Efficient Reasoning Using the Local Closed-World Assumption -- Least Generalization under Relative Implication -- Theorem Proving for Constructive ?-Calculus -- Reasoning under Uncertainty -- Classification with Belief Decision Trees -- A Temporal Many-Valued Logic for Real Time Control Systems -- Propositional Contexts -- Best Paper Award -- An Alternative Approach to Dependency-Recording Engines in Consistency-Based Diagnosis -- Actors, Agents -- An Open Approach to Distribution, Awareness and Cooperative Work -- How to Schedule a Job Shop Problem through Agent Cooperation -- Revisable Analysis and Design throughout Actors Interaction -- Simulation and Multi-agent Environment for Aircraft Maintenance Learning -- Web, Mining -- Improving WWW Access - from Single-Purpose Systems to Agent Architectures? -- A General Architecture for Finding Structural Regularities on the Web -- Web Personalization Using Extended Boolean Operations with Latent Semantic Indexing -- Natural Language -- What Did He Mean by That? -- Integration of Resources and Components in a Knowledge-Based Web-Environment for Terminology Learning -- Maintaining a Jointly Constructed Student Model -- Metaphor Processing for Learning Terminology on the Web -- Development of Lexico-Grammar Resources for Natural Language Generation (Experience from AGILE Project) -- Handling Diphthong and Triphone Symbols: Useful in Automatic English Text Generation from Pitman Shorthand Language Document -- Complexity and Optimization -- Complexity Issues in the Davis and Putnam Scheme -- Combining Local Search and Constraint Propagation to Find a Minimal Change Solution for a Dynamic CSP -- Fuzzy, Neural -- Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing -- Fuzzy-Neural Models for Real-Time Identification and Control of a Mechanical System -- A Neural Network Tool to Organize Large Document Sets -- User Authentication via Neural Network -- Learning -- Applying Preference Biases to Conjunctive and Disjunctive Version Spaces -- Coverage-Based Semi-distance between Horn Clauses -- Supervised Classification for the Triple Parity Strings -- Effective Iris Recognition System by Optimized Feature Vectors and Classifier -- Invited Papers -- Enabling Knowledge Creation, Sharing and Reuse on the World-Wide-Web -- Continuations and Conversations. |
| Record Nr. | UNISA-996465384903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial Intelligence: Methodology, Systems, and Applications : 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000 Proceedings / / edited by Stefano A. Cerri, Danail Dochev
| Artificial Intelligence: Methodology, Systems, and Applications : 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000 Proceedings / / edited by Stefano A. Cerri, Danail Dochev |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XII, 372 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Algorithms Artificial Intelligence Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-45331-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge Construction -- Dynamic Knowledge Representation and Its Applications -- Using Consensus Methods for Determining the Representation of Expert Informationin Distributed Systems -- Drafting and Validating Regulations: The Inevitable Use of Intelligent Tools -- Steps towards C+C: A Language for Interactions -- Reasoning under Certainty -- Efficient Reasoning Using the Local Closed-World Assumption -- Least Generalization under Relative Implication -- Theorem Proving for Constructive ?-Calculus -- Reasoning under Uncertainty -- Classification with Belief Decision Trees -- A Temporal Many-Valued Logic for Real Time Control Systems -- Propositional Contexts -- Best Paper Award -- An Alternative Approach to Dependency-Recording Engines in Consistency-Based Diagnosis -- Actors, Agents -- An Open Approach to Distribution, Awareness and Cooperative Work -- How to Schedule a Job Shop Problem through Agent Cooperation -- Revisable Analysis and Design throughout Actors Interaction -- Simulation and Multi-agent Environment for Aircraft Maintenance Learning -- Web, Mining -- Improving WWW Access - from Single-Purpose Systems to Agent Architectures? -- A General Architecture for Finding Structural Regularities on the Web -- Web Personalization Using Extended Boolean Operations with Latent Semantic Indexing -- Natural Language -- What Did He Mean by That? -- Integration of Resources and Components in a Knowledge-Based Web-Environment for Terminology Learning -- Maintaining a Jointly Constructed Student Model -- Metaphor Processing for Learning Terminology on the Web -- Development of Lexico-Grammar Resources for Natural Language Generation (Experience from AGILE Project) -- Handling Diphthong and Triphone Symbols: Useful in Automatic English Text Generation from Pitman Shorthand Language Document -- Complexity and Optimization -- Complexity Issues in the Davis and Putnam Scheme -- Combining Local Search and Constraint Propagation to Find a Minimal Change Solution for a Dynamic CSP -- Fuzzy, Neural -- Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing -- Fuzzy-Neural Models for Real-Time Identification and Control of a Mechanical System -- A Neural Network Tool to Organize Large Document Sets -- User Authentication via Neural Network -- Learning -- Applying Preference Biases to Conjunctive and Disjunctive Version Spaces -- Coverage-Based Semi-distance between Horn Clauses -- Supervised Classification for the Triple Parity Strings -- Effective Iris Recognition System by Optimized Feature Vectors and Classifier -- Invited Papers -- Enabling Knowledge Creation, Sharing and Reuse on the World-Wide-Web -- Continuations and Conversations. |
| Record Nr. | UNINA-9910143620303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||