Info
Advances in logic, artificial intelligence, and robotics [[electronic resource] ] : LAPTEC 2002 / / edited by Jair Minoro Abe and João Inácio da Silva Filho
| Advances in logic, artificial intelligence, and robotics [[electronic resource] ] : LAPTEC 2002 / / edited by Jair Minoro Abe and João Inácio da Silva Filho |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, 2002 |
| Descrizione fisica | 1 online resource (286 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
AbeJair Minoro
Silva FilhoJoão Inácio da |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Artificial intelligence
Logic, Symbolic and mathematical Robotics |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-50573-7
9786610505739 1-4175-1140-0 600-00-0334-X 1-60129-402-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title page; Contents; Retriever Prototype of a Case Based Reasoning: A Study Case; Dynamic Compaction Process of Metal Powder Media within Dies; Automated Theorem Proving for Many-sorted Free Description Theory Based on Logic Translation; Annotated Logic and Negation as Failure; Multi-agent System for Distribution System Operation; ArTbitrariness: Putting Computer Creativity to Work in Aesthetic Domains; An Overview of Fuzzy Numbers and Fuzzy Arithmetic; The Brain and Arithmetic Calculation; Evolving Arithmetical Knowledge in a Distributed Intelligent Processing System
Meme-Gene Coevolution and Cognitive MathematicsNeuronal Plasticity: How Memes Control Genes; The Influence of Heterogeneity in the Control of Diseases; Paraconsistent Logics viewed as a Foundation of Data Warehouses; Visualization of Class Structures using Piecewise Linear Classifiers; Design of Tree Classifiers using Interactive Data Exploration; Clustering Based on Gap and Structure; Tables in Relational Databases from a Point of View of Possible-Worlds-Restriction; On Some Different Interpretations of the Generalized Modus Ponens using Type-2 Fuzzy Sets Paraconsistent Knowledge for Misspelling Noise Reduction in DocumentsAutomata with Concurrency Relations - A Survey; Learning with Skewed Class Distributions; An Enlargement of Theorems for Sentential Calculus; A Real-time Specification Language; Defuzzification in Medical Diagonis; Fuzzy Rules in Asymptomatic HIV Virus Infected Individuals Model; Categorical Limits and Reuse of Algebraic Specifications; Constructive Program Synthesis using Intuitionist Logic and Natural Deduction; An Agent-oriented Inference Engine Applied for Supervisory Control of Automated Manufacturing Systems LTLAS: a Language Based on Temporal Logic for Agents Systems SpecificationFuzzy Identification of a pH Neutralization Process; A Fuzzy Reed-Frost Model for Epidemic Spreading; Invited Talks - Abstracts; Author Index |
| Record Nr. | UNINA-9910449824003321 |
| Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in logic, artificial intelligence, and robotics [[electronic resource] ] : LAPTEC 2002 / / edited by Jair Minoro Abe and João Inácio da Silva Filho
| Advances in logic, artificial intelligence, and robotics [[electronic resource] ] : LAPTEC 2002 / / edited by Jair Minoro Abe and João Inácio da Silva Filho |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, 2002 |
| Descrizione fisica | 1 online resource (286 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
AbeJair Minoro
Silva FilhoJoão Inácio da |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Artificial intelligence
Logic, Symbolic and mathematical Robotics |
| ISBN |
1-280-50573-7
9786610505739 1-4175-1140-0 600-00-0334-X 1-60129-402-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title page; Contents; Retriever Prototype of a Case Based Reasoning: A Study Case; Dynamic Compaction Process of Metal Powder Media within Dies; Automated Theorem Proving for Many-sorted Free Description Theory Based on Logic Translation; Annotated Logic and Negation as Failure; Multi-agent System for Distribution System Operation; ArTbitrariness: Putting Computer Creativity to Work in Aesthetic Domains; An Overview of Fuzzy Numbers and Fuzzy Arithmetic; The Brain and Arithmetic Calculation; Evolving Arithmetical Knowledge in a Distributed Intelligent Processing System
Meme-Gene Coevolution and Cognitive MathematicsNeuronal Plasticity: How Memes Control Genes; The Influence of Heterogeneity in the Control of Diseases; Paraconsistent Logics viewed as a Foundation of Data Warehouses; Visualization of Class Structures using Piecewise Linear Classifiers; Design of Tree Classifiers using Interactive Data Exploration; Clustering Based on Gap and Structure; Tables in Relational Databases from a Point of View of Possible-Worlds-Restriction; On Some Different Interpretations of the Generalized Modus Ponens using Type-2 Fuzzy Sets Paraconsistent Knowledge for Misspelling Noise Reduction in DocumentsAutomata with Concurrency Relations - A Survey; Learning with Skewed Class Distributions; An Enlargement of Theorems for Sentential Calculus; A Real-time Specification Language; Defuzzification in Medical Diagonis; Fuzzy Rules in Asymptomatic HIV Virus Infected Individuals Model; Categorical Limits and Reuse of Algebraic Specifications; Constructive Program Synthesis using Intuitionist Logic and Natural Deduction; An Agent-oriented Inference Engine Applied for Supervisory Control of Automated Manufacturing Systems LTLAS: a Language Based on Temporal Logic for Agents Systems SpecificationFuzzy Identification of a pH Neutralization Process; A Fuzzy Reed-Frost Model for Epidemic Spreading; Invited Talks - Abstracts; Author Index |
| Record Nr. | UNINA-9910783421403321 |
| Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Feature interactions in telecommunications and software systems VII [[electronic resource] /] / edited by Daniel Amyot and Luigi Logrippo
| Feature interactions in telecommunications and software systems VII [[electronic resource] /] / edited by Daniel Amyot and Luigi Logrippo |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, c2003 |
| Descrizione fisica | 1 online resource (340 p.) |
| Disciplina | 004.6 |
| Soggetto topico |
Digital communications
Telecommunication systems |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-50592-3
9786610505920 1-4175-1146-X 600-00-0425-7 1-60129-426-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; Title page; Introduction; Committees; Reviewers; Contents; Invited Papers (Extended Abstracts); Architecture and Design Methods; Emerging Application Domains; Human Factors; Detection and Resolution Methods I; Emerging Architectures; Foundations; Detection and Resolution Methods II; Author Index |
| Record Nr. | UNINA-9910450369103321 |
| Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Feature interactions in telecommunications and software systems VII [[electronic resource] /] / edited by Daniel Amyot and Luigi Logrippo
| Feature interactions in telecommunications and software systems VII [[electronic resource] /] / edited by Daniel Amyot and Luigi Logrippo |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, c2003 |
| Descrizione fisica | 1 online resource (340 p.) |
| Disciplina | 004.6 |
| Altri autori (Persone) |
AmyotDaniel <1970->
LogrippoL (Luigi) |
| Soggetto topico |
Digital communications
Telecommunication systems |
| ISBN |
1-280-50592-3
9786610505920 1-4175-1146-X 600-00-0425-7 1-60129-426-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; Title page; Introduction; Committees; Reviewers; Contents; Invited Papers (Extended Abstracts); Architecture and Design Methods; Emerging Application Domains; Human Factors; Detection and Resolution Methods I; Emerging Architectures; Foundations; Detection and Resolution Methods II; Author Index |
| Record Nr. | UNINA-9910783411403321 |
| Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Knowledge-based intelligent information engineering systems and allied technologies [[electronic resource] ] : KES 2002 / / edited by E. Damiani ... [et al.]
| Knowledge-based intelligent information engineering systems and allied technologies [[electronic resource] ] : KES 2002 / / edited by E. Damiani ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, c2002 |
| Descrizione fisica | 1 online resource (1630 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | DamianiErnesto |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Electronic apparatus and appliances - Automatic control
Artificial intelligence Expert systems (Computer science) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-50565-6
9786610505654 600-00-0467-2 0-585-45887-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Part 1""; ""General Chair's Welcome Message""; ""KES 2002 Conference Organisation""; ""KEYNOTE SPEECHES""; ""Querying Databases Containing Imprecise Information: on Some Perspectives""; ""Social Intelligence Design and Communicative Reality""; ""Computational Intelligence and Infrastructure Security""; ""GENERAL SESSION PAPERS""; ""A Competitive Node Decaying Method for Artificial Neural Networks""; ""Medical and Technical Evaluation of a CBR Therapy Adviser""; ""Case-based Reasoning for Predicting the Temporal Spread of Infectious Diseases""
""Knowledge Modeling for the Design of a KBS in the Functional Size Measurement Domain""""Using Convolutional Neural Network for Character Recognition in Automatic Form Processing System""; ""Task Reallocation in Multiagent Systems based on Vickrey Auctioning""; ""Evolutionary Optimisation of Technical Options for Manufacturing Industry""; ""Applying Neural Network based Novelty Detection to Industrial Machinery""; ""A CALS Approach to Adaptive Web Training using Fuzzy Hypermedia Model""; ""Automatic Construction of Action Knowledge-Base for Mobile Robot using GA"" ""Technogenetic Base for Creation of Engineering Systems""""The Trainable Expert System: A New Approach to Process Control""; ""A Knowledge-based Web Site for Agriculture""; ""A Measure of Fuzziness in Rough Sets""; ""A New IDCT Solution using a RISC Processor for Architecture""; ""Permutation Scheduling using Population Learning Algorithm""; ""On the Notion of Compliance in Critiquing Intelligent Design Assistants: Isomorphic Representations of General Norms and Exceptions""; ""An Integration of Fuzzy and Two-valued Logics on Spatial Depiction"" ""Formalization of Expert AH Model for Machine Learning""""A Rule-based Tracking System for Video Surveillance Applications""; ""Combined Features for Classifying Diffuse Lung Opacities in Thin-Section Computed Tomography Images""; ""Communicating Agent in Mobile Agent Network""; ""Ontological Approach to Electronic Payment Systems""; ""AI Application in Secure Database Systems""; ""Gas Turbine Faults: Detection, Isolation and Assessment using Neural Networks""; ""Cluster Discriminant Analysis for Feature Space Visualization"" ""Outlier Detection Data Mining using Cluster Discriminant Analysis � Data Mining from Medical Data""""Coordinated Reasoning with Inference Fusion""; ""Structure Discovery in Text Collections""; ""Using the Topological Tree for Skin Lesion Structure Description""; ""Advanced Fault Diagnosis using Genetic Algorithm for Gas Turbine Engines""; ""A Knowledge Management System Enabling Regional Innovation""; ""Traffic-dependent Routing based on Self-Adaption""; ""A Methodology for the Elicitation of Redesign Knowledge"" ""Monitoring the Conformance of Connections to the Traffic Contract of ATM Networks using Fuzzy Logic"" |
| Record Nr. | UNINA-9910450373603321 |
| Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Knowledge-based intelligent information engineering systems and allied technologies [[electronic resource] ] : KES 2002 / / edited by E. Damiani ... [et al.]
| Knowledge-based intelligent information engineering systems and allied technologies [[electronic resource] ] : KES 2002 / / edited by E. Damiani ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, c2002 |
| Descrizione fisica | 1 online resource (1630 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | DamianiErnesto |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Electronic apparatus and appliances - Automatic control
Artificial intelligence Expert systems (Computer science) |
| ISBN |
1-280-50565-6
9786610505654 600-00-0467-2 0-585-45887-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Part 1""; ""General Chair's Welcome Message""; ""KES 2002 Conference Organisation""; ""KEYNOTE SPEECHES""; ""Querying Databases Containing Imprecise Information: on Some Perspectives""; ""Social Intelligence Design and Communicative Reality""; ""Computational Intelligence and Infrastructure Security""; ""GENERAL SESSION PAPERS""; ""A Competitive Node Decaying Method for Artificial Neural Networks""; ""Medical and Technical Evaluation of a CBR Therapy Adviser""; ""Case-based Reasoning for Predicting the Temporal Spread of Infectious Diseases""
""Knowledge Modeling for the Design of a KBS in the Functional Size Measurement Domain""""Using Convolutional Neural Network for Character Recognition in Automatic Form Processing System""; ""Task Reallocation in Multiagent Systems based on Vickrey Auctioning""; ""Evolutionary Optimisation of Technical Options for Manufacturing Industry""; ""Applying Neural Network based Novelty Detection to Industrial Machinery""; ""A CALS Approach to Adaptive Web Training using Fuzzy Hypermedia Model""; ""Automatic Construction of Action Knowledge-Base for Mobile Robot using GA"" ""Technogenetic Base for Creation of Engineering Systems""""The Trainable Expert System: A New Approach to Process Control""; ""A Knowledge-based Web Site for Agriculture""; ""A Measure of Fuzziness in Rough Sets""; ""A New IDCT Solution using a RISC Processor for Architecture""; ""Permutation Scheduling using Population Learning Algorithm""; ""On the Notion of Compliance in Critiquing Intelligent Design Assistants: Isomorphic Representations of General Norms and Exceptions""; ""An Integration of Fuzzy and Two-valued Logics on Spatial Depiction"" ""Formalization of Expert AH Model for Machine Learning""""A Rule-based Tracking System for Video Surveillance Applications""; ""Combined Features for Classifying Diffuse Lung Opacities in Thin-Section Computed Tomography Images""; ""Communicating Agent in Mobile Agent Network""; ""Ontological Approach to Electronic Payment Systems""; ""AI Application in Secure Database Systems""; ""Gas Turbine Faults: Detection, Isolation and Assessment using Neural Networks""; ""Cluster Discriminant Analysis for Feature Space Visualization"" ""Outlier Detection Data Mining using Cluster Discriminant Analysis � Data Mining from Medical Data""""Coordinated Reasoning with Inference Fusion""; ""Structure Discovery in Text Collections""; ""Using the Topological Tree for Skin Lesion Structure Description""; ""Advanced Fault Diagnosis using Genetic Algorithm for Gas Turbine Engines""; ""A Knowledge Management System Enabling Regional Innovation""; ""Traffic-dependent Routing based on Self-Adaption""; ""A Methodology for the Elicitation of Redesign Knowledge"" ""Monitoring the Conformance of Connections to the Traffic Contract of ATM Networks using Fuzzy Logic"" |
| Record Nr. | UNINA-9910783415703321 |
| Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Knowledge-based software engineering [[electronic resource] ] : proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering / / edited by Tatjana Welzer, Shuichiro Yamamoto, and Ivan Rozman
| Knowledge-based software engineering [[electronic resource] ] : proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering / / edited by Tatjana Welzer, Shuichiro Yamamoto, and Ivan Rozman |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, c2002 |
| Descrizione fisica | 1 online resource (347 p.) |
| Disciplina | 006.3/3 |
| Altri autori (Persone) |
WelzerTatjana <1961->
YamamotoShuichiro RozmanIvan <1953-> |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Expert systems (Computer science)
Computer software - Development |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-50560-5
9786610505609 600-00-0468-0 1-60129-441-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title page; Foreword; Conference Organisation; Contents; Knowledge-based Methods and Tools for Software Engineering; Applying the MAS-CommonKADS Methodology to the Flights Reservation Problem: Integrating Coordination and Expertise; Flexible Distributed Agent System and its Application; Sub-optimal Journey Supported by Agents; Software Agents for Uncertain and Complex Environments; The Consistency Management of Scenarios from Different Viewpoints; A Controlling System of Progress for Users by Using Use Cases; Requirements for a Software Process Repository Content
The Utilization of BSC Knowledge in SPI - A Case StudyA Formalization of the Design Pattern Derivation by Applying Quantum Field Concepts; A Design of Agent Oriented Search Engine for Web Documents; Complementing Inheritance to Model Behavioural Variation Using Roles; Patterns for Enterprise Application Integration; A Proposal of Class Cohesion Metrics Using Sizes of Cohesive Parts; Construction of a Fuzzy Grammar from a Set of Sentences; Algebraic Theory of Production Systems; Knowledge Management for Business Processes Early Experience of a Dynamic Application Downloading Platform for Multi-Application Smart CardsBuilding Business Application Development Environment with Multi-Grain-Size Repository; A Discussion on Aggregation Constraint for Business Process Modeling in an Example of Building Construction; Using Mobile Devices for Personalized Information; Program Understanding, Reuse, Knowledge Discovery; An Automatic Method for Refactoring Java Programs; A Concept-oriented Approach to Support Software Maintenance and Reuse Activities Meta-data and ER Model Automatic Generation from Unstructured Information ResourcesOn Efficiency of Dataset Filtering Implementations in Constraint-based Discovery of Frequent Itemsets; Exploiting Informal Communities in Information Retrieval; Searching for Software Reliability with Text Mining; Software Architecture, Applied Knowledge Engineering; Symbiotic Information Systems - Towards a Human-friendly Information System; Method Materialization Using the Hierarchical Technique: Experimental Evaluation; A Support Method for Widget Replacement to Realize High Usability A Domain Ontology Development Environment Using a MRD and Text CorpusKnowledge Modeling and Reasoning; Role of Case-based Reasoning in Neurology Decision Support; Software Architecture for Intelligent CAD Systems; ESTHER - Expert System for the Diagnostics of Drug Intoxications; Modeling Semistructured Data by the Adjacency Model; A New Feature Selection Method Based on Dynamic Incremental Extension of Seed Features; Improving Data Development Process; Position Papers Panel; A Proposal for a Swap-type Mutation of the Genetic Algorithm and its Application to Job Shop Scheduling Problems A Web-Based VOD Clipping Tool for Efficient Private Review |
| Record Nr. | UNINA-9910455917703321 |
| Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Knowledge-based software engineering [[electronic resource] ] : proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering / / edited by Tatjana Welzer, Shuichiro Yamamoto, and Ivan Rozman
| Knowledge-based software engineering [[electronic resource] ] : proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering / / edited by Tatjana Welzer, Shuichiro Yamamoto, and Ivan Rozman |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, c2002 |
| Descrizione fisica | 1 online resource (347 p.) |
| Disciplina | 006.3/3 |
| Altri autori (Persone) |
WelzerTatjana <1961->
YamamotoShuichiro RozmanIvan <1953-> |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Expert systems (Computer science)
Computer software - Development |
| ISBN |
1-280-50560-5
9786610505609 600-00-0468-0 1-60129-441-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title page; Foreword; Conference Organisation; Contents; Knowledge-based Methods and Tools for Software Engineering; Applying the MAS-CommonKADS Methodology to the Flights Reservation Problem: Integrating Coordination and Expertise; Flexible Distributed Agent System and its Application; Sub-optimal Journey Supported by Agents; Software Agents for Uncertain and Complex Environments; The Consistency Management of Scenarios from Different Viewpoints; A Controlling System of Progress for Users by Using Use Cases; Requirements for a Software Process Repository Content
The Utilization of BSC Knowledge in SPI - A Case StudyA Formalization of the Design Pattern Derivation by Applying Quantum Field Concepts; A Design of Agent Oriented Search Engine for Web Documents; Complementing Inheritance to Model Behavioural Variation Using Roles; Patterns for Enterprise Application Integration; A Proposal of Class Cohesion Metrics Using Sizes of Cohesive Parts; Construction of a Fuzzy Grammar from a Set of Sentences; Algebraic Theory of Production Systems; Knowledge Management for Business Processes Early Experience of a Dynamic Application Downloading Platform for Multi-Application Smart CardsBuilding Business Application Development Environment with Multi-Grain-Size Repository; A Discussion on Aggregation Constraint for Business Process Modeling in an Example of Building Construction; Using Mobile Devices for Personalized Information; Program Understanding, Reuse, Knowledge Discovery; An Automatic Method for Refactoring Java Programs; A Concept-oriented Approach to Support Software Maintenance and Reuse Activities Meta-data and ER Model Automatic Generation from Unstructured Information ResourcesOn Efficiency of Dataset Filtering Implementations in Constraint-based Discovery of Frequent Itemsets; Exploiting Informal Communities in Information Retrieval; Searching for Software Reliability with Text Mining; Software Architecture, Applied Knowledge Engineering; Symbiotic Information Systems - Towards a Human-friendly Information System; Method Materialization Using the Hierarchical Technique: Experimental Evaluation; A Support Method for Widget Replacement to Realize High Usability A Domain Ontology Development Environment Using a MRD and Text CorpusKnowledge Modeling and Reasoning; Role of Case-based Reasoning in Neurology Decision Support; Software Architecture for Intelligent CAD Systems; ESTHER - Expert System for the Diagnostics of Drug Intoxications; Modeling Semistructured Data by the Adjacency Model; A New Feature Selection Method Based on Dynamic Incremental Extension of Seed Features; Improving Data Development Process; Position Papers Panel; A Proposal for a Swap-type Mutation of the Genetic Algorithm and its Application to Job Shop Scheduling Problems A Web-Based VOD Clipping Tool for Efficient Private Review |
| Record Nr. | UNINA-9910780466603321 |
| Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
New trends in software methodologies, tools and techniques [[electronic resource] ] : proceedings of Lyee-W02 / / edited by Hamido Fujita and Paul Johannesson
| New trends in software methodologies, tools and techniques [[electronic resource] ] : proceedings of Lyee-W02 / / edited by Hamido Fujita and Paul Johannesson |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, c2002 |
| Descrizione fisica | 1 online resource (416 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
FujitaHamido
JohannessonPaul <1959-> |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Software engineering
Computer software - Reliability |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-50570-2
9786610505708 600-00-0500-8 1-60129-448-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; Title page; Preface; Conference Organisation; Contents; Chapter 1. Intention and Hypothetical Oriented Software; Chapter 2. Software Architecture and Software Intentional Models; Chapter 3. Lyee-Oriented Software Engineering and Applications; Chapter 4. Requirement Engineering and Meta Models; Chapter 5. Human Factor and User Intention Capturing in Software; Chapter 6. Enterprise Software Models and Software Engineering; Chapter 7. Software Process Model and Configuration Management; Chapter 8. Automatic Software Generation and Requirement Verification; Author Index |
| Record Nr. | UNINA-9910455937103321 |
| Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
New trends in software methodologies, tools and techniques [[electronic resource] ] : proceedings of Lyee-W02 / / edited by Hamido Fujita and Paul Johannesson
| New trends in software methodologies, tools and techniques [[electronic resource] ] : proceedings of Lyee-W02 / / edited by Hamido Fujita and Paul Johannesson |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, c2002 |
| Descrizione fisica | 1 online resource (416 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
FujitaHamido
JohannessonPaul <1959-> |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Software engineering
Computer software - Reliability |
| ISBN |
1-280-50570-2
9786610505708 600-00-0500-8 1-60129-448-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; Title page; Preface; Conference Organisation; Contents; Chapter 1. Intention and Hypothetical Oriented Software; Chapter 2. Software Architecture and Software Intentional Models; Chapter 3. Lyee-Oriented Software Engineering and Applications; Chapter 4. Requirement Engineering and Meta Models; Chapter 5. Human Factor and User Intention Capturing in Software; Chapter 6. Enterprise Software Models and Software Engineering; Chapter 7. Software Process Model and Configuration Management; Chapter 8. Automatic Software Generation and Requirement Verification; Author Index |
| Record Nr. | UNINA-9910780469503321 |
| Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||