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.
Compiler Construction [[electronic resource] ] : 6th International Conference, CC '96, Linköping, Sweden, April 24 - 26, 1996. Proceedings. / / edited by Tibor Gyimothy
| Compiler Construction [[electronic resource] ] : 6th International Conference, CC '96, Linköping, Sweden, April 24 - 26, 1996. Proceedings. / / edited by Tibor Gyimothy |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (XII, 360 p.) |
| Disciplina | 005.4/53 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Mathematical logic Software engineering Artificial intelligence Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Software Engineering Artificial Intelligence |
| ISBN | 3-540-49939-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Pipelining-dovetailing: A transformation to enhance software pipelining for nested loops -- A comparison of modulo scheduling techniques for software pipelining -- Removing anti dependences by repairing -- Controlled Node Splitting -- Aggressive loop unrolling in a retargetable, optimizing compiler -- Generalized Constant Propagation a study in C -- Structuring decompiled graphs -- Non-monotone fixpoint iterations to resolve second order effects -- How to uniformly specify program analysis and transformation with graph rewrite systems -- Points-to analysis by type inference of programs with structures and unions -- Compiler construction: Craftsmanship or engineering? -- Code generation = A* + BURS -- A compiler for natural semantics -- Abstract compilation: A new implementation paradigm for static analysis -- Using partial evaluation in support of portability, reusability, and maintainability -- Incremental computation of static single assignment form -- Efficient storage reuse of aggregates in single assignment languages -- Effective representation of aliases and indirect memory operations in SSA form -- Maptool — supporting modular syntax development -- A faster Earley parser -- One-pass, optimal tree parsing — With or without trees -- Compact dispatch tables for dynamically typed object oriented languages -- Delegating compiler objects -- A parallel debugger with support for distributed arrays, multiple executables and dynamic processes. |
| Record Nr. | UNISA-996465871003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Compiler Construction [[electronic resource] ] : 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings / / edited by Peter A. Fritzson
| Compiler Construction [[electronic resource] ] : 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings / / edited by Peter A. Fritzson |
| Edizione | [1st ed. 1994.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
| Descrizione fisica | 1 online resource (XII, 460 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Mathematical logic Software engineering Artificial intelligence Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Software Engineering Artificial Intelligence |
| ISBN | 3-540-48371-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | OASIS: An optimizing action-based compiler generator -- Action transformations in the actress compiler generator -- An overview of door attribute grammars -- Coupling evaluators for attribute coupled grammars -- Towards the global optimization of functional logic programs -- A portable and optimizing back end for the SML/NJ compiler -- Efficient organization of control structures in distributed implementations -- Implementing 2DT on a multiprocessor -- Global code selection for directed acyclic graphs -- Compiling nested loops for limited connectivity VLIWs -- Delayed exceptions — Speculative execution of trapping instructions -- On the implementation of abstract interpretation systems for (constraint) Logic Programs -- A suite of analysis tools based on a general purpose abstract interpreter -- Flow grammars — a flow analysis methodology -- Provable correctness of prototype interpreters in LDL -- Developing efficient interpreters based on formal language specifications -- Generating an efficient compiler for a data parallel language from a denotational specification -- Adding semantic and syntactic predicates to LL(k): pred-LL(k) -- Cosy compiler phase embedding with the CoSy compiler model -- Towards provably correct code generation for a hard real-time programming language -- Supporting array dependence testing for an optimizing/parallelizing C compiler -- Processing array statements and procedure interfaces in the PREPARE high performance fortran compiler -- A practical approach to the symbolic debugging of parallelized code -- Reducing the cost of data flow analysis by congruence partitioning -- Interprocedural constant propagation using dependence graphs and a data-flow model -- Solving demand versions of interprocedural analysis problems -- Compile time instruction cache optimizations -- Instruction scheduling over regions: A framework for scheduling across basic blocks -- Transport-triggering vs. operation-triggering. |
| Record Nr. | UNISA-996466263903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Compiler Construction [[electronic resource] ] : 4th International Conference, CC '92, Paderborn, FRG, October 5-7, 1992. Proceedings / / edited by Uwe Kastens, Peter Pfahler
| Compiler Construction [[electronic resource] ] : 4th International Conference, CC '92, Paderborn, FRG, October 5-7, 1992. Proceedings / / edited by Uwe Kastens, Peter Pfahler |
| Edizione | [1st ed. 1992.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
| Descrizione fisica | 1 online resource (IX, 223 p.) |
| Disciplina | 005.4/53 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Artificial intelligence Mathematical logic Programming Languages, Compilers, Interpreters Software Engineering Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-47335-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Transformation of attributed trees using pattern matching -- Generating LR(1) parsers of small size -- Syntax directed translation with LR parsing -- Attribute-directed top-down parsing -- Another kind of modular attribute grammars -- Integrated graphic environment to develop applications based on attribute grammars -- Implementing high-level identification specifications -- Another solution of scoping problems in symbol tables -- Compiler implementation of ADTs using profile data -- The LDL — Language development laboratory -- Actress: An action semantics directed compiler generator -- Creation of a family of compilers and runtime environments by combining reusable components -- The interprocedural coincidence theorem -- Provably correct compiler development and implementation -- On interprocedural data flow analysis for object oriented languages -- Testing completeness of code selector specifications -- A register allocation framework based on hierarchical cyclic interval graphs -- Register pipelining: An integrated approach to register allocation for scalar and subscripted variables -- Instruction scheduling for complex pipelines -- Comparing software pipelining for an operation-triggered and a transport-triggered architecture -- Scheduling instructions by direct placement -- Compile-time analysis of object-oriented programs -- Partial evaluation of C and automatic compiler generation -- A term pattern-match compiler inspired by finite automata theory -- Improving the performance of parallel LISP by compile time analysis -- FCG: A code generator for lazy functional languages -- Compiling flang -- The implementation of objectmath — a high-level programming environment for scientific computing. |
| Record Nr. | UNISA-996465504303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Intelligence for Knowledge-Based System Design [[electronic resource] ] : 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings / / edited by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann
| Computational Intelligence for Knowledge-Based System Design [[electronic resource] ] : 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings / / edited by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XVII, 771 p. 183 illus.) |
| Disciplina | 006.33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Programming languages (Electronic computers) Database management Application software Computers Artificial Intelligence Programming Techniques Programming Languages, Compilers, Interpreters Database Management Information Systems Applications (incl. Internet) Computation by Abstract Devices |
| ISBN |
1-280-38758-0
9786613565501 3-642-14049-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine Learning and Data Mining -- Towards a Conscious Choice of a Fuzzy Similarity Measure: A Qualitative Point of View -- A Stochastic Treatment of Similarity -- Order-Based Equivalence Degrees for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued Indistinguishability Operators -- Discovering Rules-Based Similarity in Microarray Data -- Fuzzy Clustering of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using Fuzzy Clustering -- On Dynamic Soft Dimension Reduction in Evolving Fuzzy Classifiers -- Multi-class Imbalanced Data-Sets with Linguistic Fuzzy Rule Based Classification Systems Based on Pairwise Learning -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page Classification: A Probabilistic Model with Relational Uncertainty -- Evidential Multi-Label Classification Approach to Learning from Data with Imprecise Labels -- A K-Nearest Neighbours Method Based on Lower Previsions -- Fuzzy Probabilities: Tentative Discussions on the Mathematical Concepts -- On Dealing with Imprecise Information in a Content Based Image Retrieval System -- An Extension of Stochastic Dominance to Fuzzy Random Variables -- Correlation of Intuitionistic Fuzzy Sets -- A Correlation Ratio for Possibility Distributions -- On Nonparametric Predictive Inference for Ordinal Data -- Using Cloudy Kernels for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions -- The Most Representative Utility Function for Non-Additive Robust Ordinal Regression -- Alternative Normalization Schemas for Bayesian Confirmation Measures -- Gender and Age Estimation from Synthetic Face Images -- Attribute Value Selection Considering the Minimum Description Length Approach and Feature Granularity -- Possibility Theory and Formal Concept Analysis: Context Decomposition and Uncertainty Handling -- A Parallel between Extended Formal Concept Analysis and Bipartite Graphs Analysis -- Negotiation as Creative Social Interaction Using Concept Hierarchies -- Estimating Top-k Destinations in Data Streams -- A Data Mining Algorithm for Inducing Temporal Constraint Networks -- Analysis of the Time Evolution of Scientograms Using the Subdue Graph Mining Algorithm -- Short-Time Prediction Based on Recognition of Fuzzy Time Series Patterns -- Time Series Comparison Using Linguistic Fuzzy Techniques -- Granular Approach for Evolving System Modeling -- Data Mining in Precision Agriculture: Management of Spatial Information -- Fuzzy Multivariable Gaussian Evolving Approach for Fault Detection and Diagnosis -- Dispersion Estimates for Telecommunications Fraud -- The Link Prediction Problem in Bipartite Networks -- Aggregation and Fusion -- Symmetrization of Modular Aggregation Functions -- Smooth Aggregation Functions on Finite Scales -- Dual Representable Aggregation Functions and Their Derived S-Implications -- Aggregation Functions with Stronger Types of Monotonicity -- Some Remarks on the Characterization of Idempotent Uninorms -- On the Median and Its Extensions -- Evidential Combination of Multiple HMM Classifiers for Multi-script Handwriting Recognition -- Using Uncertainty Information to Combine Soft Classifications -- Performance Evaluation of a Fusion System Devoted to Image Interpretation -- A New Adaptive Consensus Reaching Process Based on the Experts’ Importance -- On the Robustness for the Choquet Integral -- Explicit Descriptions of Bisymmetric Sugeno Integrals -- Learning Fuzzy-Valued Fuzzy Measures for the Fuzzy-Valued Sugeno Fuzzy Integral -- Choquet Integration on Set Systems -- Necessity-Based Choquet Integrals for Sequential Decision Making under Uncertainty -- A Fuzzy-Rule-Based Approach to Contextual Preference Queries -- Extracting and Modelling Preferences from Dialogue -- Argumentation Framework with Fuzzy Preference Relations -- An Algorithm for Generating Consistent and Transitive Approximations of Reciprocal Preference Relations -- Preference Modeling and Model Management for Interactive Multi-objective Evolutionary Optimization -- Dominance-Based Rough Set Approach to Preference Learning from Pairwise Comparisons in Case of Decision under Uncertainty -- Uncertainty Handling -- Trimming Plethoric Answers to Fuzzy Queries: An Approach Based on Predicate Correlation -- Searching Aligned Groups of Objects with Fuzzy Criteria -- How to Translate Words into Numbers? A Fuzzy Approach for the Numerical Translation of Verbal Probabilities -- Plateau Regions: An Implementation Concept for Fuzzy Regions in Spatial Databases and GIS -- Genuine Linguistic Fuzzy Logic Control: Powerful and Successful Control Method -- Cytoplasm Contour Approximation Based on Color Fuzzy Sets and Color Gradient -- Keeping Secrets in Possibilistic Knowledge Bases with Necessity-Valued Privacy Policies -- Inference with Fuzzy and Probabilistic Information -- Modelling Patterns of Evidence in Bayesian Networks: A Case-Study in Classical Swine Fever -- An Importance Sampling Approach to Integrate Expert Knowledge When Learning Bayesian Networks From Data -- Conflicts within and between Belief Functions -- Consonant Continuous Belief Functions Conflicts Calculation -- Credal Sets Approximation by Lower Probabilities: Application to Credal Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent Natural Extension -- On Elementary Extensions in Fuzzy Predicate Logics -- Logical Proportions – Typology and Roadmap. |
| Record Nr. | UNISA-996465844803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Intelligence for Knowledge-Based System Design [[electronic resource] ] : 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings / / edited by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann
| Computational Intelligence for Knowledge-Based System Design [[electronic resource] ] : 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings / / edited by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XVII, 771 p. 183 illus.) |
| Disciplina | 006.33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Programming languages (Electronic computers) Database management Application software Computers Artificial Intelligence Programming Techniques Programming Languages, Compilers, Interpreters Database Management Information Systems Applications (incl. Internet) Computation by Abstract Devices |
| ISBN |
1-280-38758-0
9786613565501 3-642-14049-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine Learning and Data Mining -- Towards a Conscious Choice of a Fuzzy Similarity Measure: A Qualitative Point of View -- A Stochastic Treatment of Similarity -- Order-Based Equivalence Degrees for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued Indistinguishability Operators -- Discovering Rules-Based Similarity in Microarray Data -- Fuzzy Clustering of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using Fuzzy Clustering -- On Dynamic Soft Dimension Reduction in Evolving Fuzzy Classifiers -- Multi-class Imbalanced Data-Sets with Linguistic Fuzzy Rule Based Classification Systems Based on Pairwise Learning -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page Classification: A Probabilistic Model with Relational Uncertainty -- Evidential Multi-Label Classification Approach to Learning from Data with Imprecise Labels -- A K-Nearest Neighbours Method Based on Lower Previsions -- Fuzzy Probabilities: Tentative Discussions on the Mathematical Concepts -- On Dealing with Imprecise Information in a Content Based Image Retrieval System -- An Extension of Stochastic Dominance to Fuzzy Random Variables -- Correlation of Intuitionistic Fuzzy Sets -- A Correlation Ratio for Possibility Distributions -- On Nonparametric Predictive Inference for Ordinal Data -- Using Cloudy Kernels for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions -- The Most Representative Utility Function for Non-Additive Robust Ordinal Regression -- Alternative Normalization Schemas for Bayesian Confirmation Measures -- Gender and Age Estimation from Synthetic Face Images -- Attribute Value Selection Considering the Minimum Description Length Approach and Feature Granularity -- Possibility Theory and Formal Concept Analysis: Context Decomposition and Uncertainty Handling -- A Parallel between Extended Formal Concept Analysis and Bipartite Graphs Analysis -- Negotiation as Creative Social Interaction Using Concept Hierarchies -- Estimating Top-k Destinations in Data Streams -- A Data Mining Algorithm for Inducing Temporal Constraint Networks -- Analysis of the Time Evolution of Scientograms Using the Subdue Graph Mining Algorithm -- Short-Time Prediction Based on Recognition of Fuzzy Time Series Patterns -- Time Series Comparison Using Linguistic Fuzzy Techniques -- Granular Approach for Evolving System Modeling -- Data Mining in Precision Agriculture: Management of Spatial Information -- Fuzzy Multivariable Gaussian Evolving Approach for Fault Detection and Diagnosis -- Dispersion Estimates for Telecommunications Fraud -- The Link Prediction Problem in Bipartite Networks -- Aggregation and Fusion -- Symmetrization of Modular Aggregation Functions -- Smooth Aggregation Functions on Finite Scales -- Dual Representable Aggregation Functions and Their Derived S-Implications -- Aggregation Functions with Stronger Types of Monotonicity -- Some Remarks on the Characterization of Idempotent Uninorms -- On the Median and Its Extensions -- Evidential Combination of Multiple HMM Classifiers for Multi-script Handwriting Recognition -- Using Uncertainty Information to Combine Soft Classifications -- Performance Evaluation of a Fusion System Devoted to Image Interpretation -- A New Adaptive Consensus Reaching Process Based on the Experts’ Importance -- On the Robustness for the Choquet Integral -- Explicit Descriptions of Bisymmetric Sugeno Integrals -- Learning Fuzzy-Valued Fuzzy Measures for the Fuzzy-Valued Sugeno Fuzzy Integral -- Choquet Integration on Set Systems -- Necessity-Based Choquet Integrals for Sequential Decision Making under Uncertainty -- A Fuzzy-Rule-Based Approach to Contextual Preference Queries -- Extracting and Modelling Preferences from Dialogue -- Argumentation Framework with Fuzzy Preference Relations -- An Algorithm for Generating Consistent and Transitive Approximations of Reciprocal Preference Relations -- Preference Modeling and Model Management for Interactive Multi-objective Evolutionary Optimization -- Dominance-Based Rough Set Approach to Preference Learning from Pairwise Comparisons in Case of Decision under Uncertainty -- Uncertainty Handling -- Trimming Plethoric Answers to Fuzzy Queries: An Approach Based on Predicate Correlation -- Searching Aligned Groups of Objects with Fuzzy Criteria -- How to Translate Words into Numbers? A Fuzzy Approach for the Numerical Translation of Verbal Probabilities -- Plateau Regions: An Implementation Concept for Fuzzy Regions in Spatial Databases and GIS -- Genuine Linguistic Fuzzy Logic Control: Powerful and Successful Control Method -- Cytoplasm Contour Approximation Based on Color Fuzzy Sets and Color Gradient -- Keeping Secrets in Possibilistic Knowledge Bases with Necessity-Valued Privacy Policies -- Inference with Fuzzy and Probabilistic Information -- Modelling Patterns of Evidence in Bayesian Networks: A Case-Study in Classical Swine Fever -- An Importance Sampling Approach to Integrate Expert Knowledge When Learning Bayesian Networks From Data -- Conflicts within and between Belief Functions -- Consonant Continuous Belief Functions Conflicts Calculation -- Credal Sets Approximation by Lower Probabilities: Application to Credal Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent Natural Extension -- On Elementary Extensions in Fuzzy Predicate Logics -- Logical Proportions – Typology and Roadmap. |
| Record Nr. | UNINA-9910483703303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Intelligence. Theory and Applications [[electronic resource] ] : International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings / / edited by Bernd Reusch
| Computational Intelligence. Theory and Applications [[electronic resource] ] : International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings / / edited by Bernd Reusch |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XXXIV, 1006 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Computers Programming languages (Electronic computers) Mathematical logic Artificial Intelligence Theory of Computation Programming Languages, Compilers, Interpreters Computation by Abstract Devices Mathematical Logic and Formal Languages |
| ISBN | 3-540-45493-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Interactive Evolutionary Computation as Humanized Computational Intelligence Technology -- Microcontroller-Based Fuzzy System to Optimize the Anaerobic Digestion in Biogas Reactors -- The Decision of Service Centres Location Problem in Fuzzy Conditions -- Application of the Biologically Inspired Network for Electroencephalogram Analysis -- Discrimination between Two Mental States (Rest and Motor Image) Using Wavelet Transform and Neural Networks -- Decision Making in Diagnosis of Oral Mucosa Lesions -- Fuzzy Logic and the Internet: Lingustic Summarization of Distributed Sets of Data -- Adaptive Color- and Edge-Based Image Segmentation Using Fuzzy Techniques -- Computer Aided Diagnosis System of Meniscal Tears with T1 and T2 Weighted MR Images Based on Fuzzy Inference -- A New Paradigm for Fuzzy Aggregation in Multisensorial Image Processing -- An Adaptive Learning Algorithm for a Neuro-fuzzy Network -- Fuzzy Probabilistic Neural Networks: A Practical Approach to the Implementation of Baysian Classifier -- Fuzzy-? for Back Propagation Networks -- eaLib — A Java Frameword for Implementation of Evolutionary Algorithms -- Experimental Evaluation of Fuzzy Controllers for an Outdoor AGV -- Time-Series Segmentation and Symbolic Representation, from Process-Monitoring to Data-Mining -- Brain State Recognition Using Fuzzy C-Means (FCM) Clustering with Near Infrared Spectroscopy (NIRS) -- Microcontroller Based Fuzzy Logic Sevofluorane Anesthesia Control System -- Intuitionistic Fuzzy Sets in Some Medical Applications -- Interpretation of Trained Neural Networks by Rule Extraction -- Neural Model Identification Using Local Robustness Analysis -- Computing with Activity Patterns -- A GA-Based Algorithm with a Very Fast Rate of Convergence -- Representing and Learning Conditional Information in Possibility Theory -- Extracting Trapezoidal Membership Functions of a Fuzzy Rule System by Bacterial Algorithm -- Possibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification -- Parameterized Petri Net Reformulation of the Fuzzy Production System -- Fuzzy Topologies Induced by Fuzzy Relation Based Modifiers -- Advanced Inference Filter Defuzzification -- On Cardinality and Singular Fuzzy Sets -- Fast Iris Detection for Personal Verification Using Modular Neural Nets -- A Rotation Invariant Algorithm for Recognition -- Application of the Neural Networks Based on Multi-valued Neurons to Classification of the Images of Gene Expression Patterns -- A Multi-purpose Visual Classification System -- Problem Difficulty in Real-Valued Dynamic Problems -- GeLog — A System Combining Genetic Algorithm with Inductive Logic Programming -- Decision Strategies in Evolutionary Optimization -- A Cluster-Based Evolutionary Algorithm for Multi-objective Optimization -- Inherent Wave Estimation on Ultrasonic Non-destructive Testing Using Fuzzy Inference -- Fuzzy Association Rules: Semantic Issues and Quality Measures -- Calculation vs. Subjective Assessment with Respect to Fuzzy Probability -- Methodology for Optimizing Fuzzy Classifiers Based on Computational Intelligence -- Analysing the Structure of Poly-crystalline Materials by 2-Dimensional DLS-Spectra and Neural Nets -- A Neuron MOS Threshold Element with Switching Capacitors -- A Neural Approach to Compression of Hyperspectral Remote Sensing Imagery -- Multi-valued and Universal Binary Neurons: New Applications in Intelligent Image Processing -- Hybrid Two-Population Genetic Algorithm -- Reducing Bloat in Genetic Programming -- Too Much Knowledge Hurts: Acceleration of Genetic Programs for Learning Heuristics -- Gaussians-Based Hybrid System for Prediction and Classification -- A Color Problem for Fuzzy Graph -- On the Uniqueness of Interpretations for Fuzzy IF-THEN Rule Bases -- Quantum Computers as Fuzzy Computers -- Improvement of the Cluster Searching Algorithm in Sugeno and Yasukawa’s Qualitative Modeling Approach -- Can Perceptrons Identify Users of Body Lotion? -- Reinforcement Learning for Control of Traffic and Access Points in Intelligent Wireless ATM Networks -- Categorization of Time Delay by Means of Neural Networks -- Neural Networks as a Tool for Gray Box Modelling in Reactive Distillation -- On Step Width Adaptation in Simulated Annealing for Continuous Parameter Optimisation -- GA-Based Search for Paths with Minimum Energy Consumption for Mobile Robot Systems -- A New Modified Genetic Algorithm for Multiuser Detection in DS/CDMA Systems -- Clustering of Categoric Data in Medicine — Application of Evolutionary Algorithms -- A New Direction in AI — Toward a Computational Theory of Perceptions -- Personalization of Newsletters Using Multistage Fuzzy Inference -- Fuzzy Techniques for XML Data Smushing -- A New Fuzzy-Based Multi-Objective Optimization Concept for Process Control Systems -- An Improved Shape-Preserving Affine Takagi-Sugeno Controller Using Splines -- METALA: A Meta-learning Architecture -- On-Line Signature Verification Using a Computational Intelligence Approach -- Autonomous Driving through Intelligent Image Processing and Machine Learning -- SVD Reduction in Continuos Environment Reinforcement Learning -- Analyzing Directed Acyclic Graph Recombination -- Rough Set Based Knowledge Discovery of Interface for the Internet Usage among Japanese Elderly Women -- Fuzzy Limits and Fuzzy Nearness Relation -- Handwritten Digit Recognition: A Neural Network Demo -- New Neural Nets -- Inference in Fuzzy Models of Physical Processes -- About the Combination of Functional Approaches and Fuzzy Reasoning -- Expected Utility Networks in Transferable Belief Model -- Data Clustering and Rule Abduction to Facilitate Crime Hot Spot Prediction -- Computing with Words: Multi-objective GAS for Approximate Reasoning -- The Description of All ?-Distributive Triangular Norms of Lengths 2 and 3 -- Latent Semantic Analysis for German Literature Investigation -- Some Possibilities of Improving the CORA Classification Algorithm -- Computer Aided Selection of Cutting Parameters by Using Fuzzy Logic -- Process Monitoring in Chemical Plants Using Neural Networks -- Fuzzy Probability and Power System Safety -- A Fuzzy Logic System Used in Safety Analysis -- Chaining of Fuzzy Rules in RETE Network -- A Fuzzy Relation for Comparing Intervals -- Tomography in Fractal Neural Nets -- Fuzzy Approach in Ultrasound Image Segmentation -- Dynamic Decision Making Based on Partial Probability Information -- AMA: An OWA Operator Based on the Majority Process -- DSP Implementation of Fuzzy Controlled Magnetic Levitation System -- Programming Work Simulator of the Ann-Based Integrated Protection System for the Reversible Hydro Generating Sets -- Blending of 2D Objects Using Fuzzy Logic -- The Application Based on Incremental Knowledge Discovery Algorithm in Color Matching System -- Fuzzy Convexity and Connectivity. |
| Record Nr. | UNISA-996465888403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Intelligence. Theory and Applications [[electronic resource] ] : International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings / / edited by Bernd Reusch
| Computational Intelligence. Theory and Applications [[electronic resource] ] : International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings / / edited by Bernd Reusch |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XXXIV, 1006 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Computers Programming languages (Electronic computers) Mathematical logic Artificial Intelligence Theory of Computation Programming Languages, Compilers, Interpreters Computation by Abstract Devices Mathematical Logic and Formal Languages |
| ISBN | 3-540-45493-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Interactive Evolutionary Computation as Humanized Computational Intelligence Technology -- Microcontroller-Based Fuzzy System to Optimize the Anaerobic Digestion in Biogas Reactors -- The Decision of Service Centres Location Problem in Fuzzy Conditions -- Application of the Biologically Inspired Network for Electroencephalogram Analysis -- Discrimination between Two Mental States (Rest and Motor Image) Using Wavelet Transform and Neural Networks -- Decision Making in Diagnosis of Oral Mucosa Lesions -- Fuzzy Logic and the Internet: Lingustic Summarization of Distributed Sets of Data -- Adaptive Color- and Edge-Based Image Segmentation Using Fuzzy Techniques -- Computer Aided Diagnosis System of Meniscal Tears with T1 and T2 Weighted MR Images Based on Fuzzy Inference -- A New Paradigm for Fuzzy Aggregation in Multisensorial Image Processing -- An Adaptive Learning Algorithm for a Neuro-fuzzy Network -- Fuzzy Probabilistic Neural Networks: A Practical Approach to the Implementation of Baysian Classifier -- Fuzzy-? for Back Propagation Networks -- eaLib — A Java Frameword for Implementation of Evolutionary Algorithms -- Experimental Evaluation of Fuzzy Controllers for an Outdoor AGV -- Time-Series Segmentation and Symbolic Representation, from Process-Monitoring to Data-Mining -- Brain State Recognition Using Fuzzy C-Means (FCM) Clustering with Near Infrared Spectroscopy (NIRS) -- Microcontroller Based Fuzzy Logic Sevofluorane Anesthesia Control System -- Intuitionistic Fuzzy Sets in Some Medical Applications -- Interpretation of Trained Neural Networks by Rule Extraction -- Neural Model Identification Using Local Robustness Analysis -- Computing with Activity Patterns -- A GA-Based Algorithm with a Very Fast Rate of Convergence -- Representing and Learning Conditional Information in Possibility Theory -- Extracting Trapezoidal Membership Functions of a Fuzzy Rule System by Bacterial Algorithm -- Possibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification -- Parameterized Petri Net Reformulation of the Fuzzy Production System -- Fuzzy Topologies Induced by Fuzzy Relation Based Modifiers -- Advanced Inference Filter Defuzzification -- On Cardinality and Singular Fuzzy Sets -- Fast Iris Detection for Personal Verification Using Modular Neural Nets -- A Rotation Invariant Algorithm for Recognition -- Application of the Neural Networks Based on Multi-valued Neurons to Classification of the Images of Gene Expression Patterns -- A Multi-purpose Visual Classification System -- Problem Difficulty in Real-Valued Dynamic Problems -- GeLog — A System Combining Genetic Algorithm with Inductive Logic Programming -- Decision Strategies in Evolutionary Optimization -- A Cluster-Based Evolutionary Algorithm for Multi-objective Optimization -- Inherent Wave Estimation on Ultrasonic Non-destructive Testing Using Fuzzy Inference -- Fuzzy Association Rules: Semantic Issues and Quality Measures -- Calculation vs. Subjective Assessment with Respect to Fuzzy Probability -- Methodology for Optimizing Fuzzy Classifiers Based on Computational Intelligence -- Analysing the Structure of Poly-crystalline Materials by 2-Dimensional DLS-Spectra and Neural Nets -- A Neuron MOS Threshold Element with Switching Capacitors -- A Neural Approach to Compression of Hyperspectral Remote Sensing Imagery -- Multi-valued and Universal Binary Neurons: New Applications in Intelligent Image Processing -- Hybrid Two-Population Genetic Algorithm -- Reducing Bloat in Genetic Programming -- Too Much Knowledge Hurts: Acceleration of Genetic Programs for Learning Heuristics -- Gaussians-Based Hybrid System for Prediction and Classification -- A Color Problem for Fuzzy Graph -- On the Uniqueness of Interpretations for Fuzzy IF-THEN Rule Bases -- Quantum Computers as Fuzzy Computers -- Improvement of the Cluster Searching Algorithm in Sugeno and Yasukawa’s Qualitative Modeling Approach -- Can Perceptrons Identify Users of Body Lotion? -- Reinforcement Learning for Control of Traffic and Access Points in Intelligent Wireless ATM Networks -- Categorization of Time Delay by Means of Neural Networks -- Neural Networks as a Tool for Gray Box Modelling in Reactive Distillation -- On Step Width Adaptation in Simulated Annealing for Continuous Parameter Optimisation -- GA-Based Search for Paths with Minimum Energy Consumption for Mobile Robot Systems -- A New Modified Genetic Algorithm for Multiuser Detection in DS/CDMA Systems -- Clustering of Categoric Data in Medicine — Application of Evolutionary Algorithms -- A New Direction in AI — Toward a Computational Theory of Perceptions -- Personalization of Newsletters Using Multistage Fuzzy Inference -- Fuzzy Techniques for XML Data Smushing -- A New Fuzzy-Based Multi-Objective Optimization Concept for Process Control Systems -- An Improved Shape-Preserving Affine Takagi-Sugeno Controller Using Splines -- METALA: A Meta-learning Architecture -- On-Line Signature Verification Using a Computational Intelligence Approach -- Autonomous Driving through Intelligent Image Processing and Machine Learning -- SVD Reduction in Continuos Environment Reinforcement Learning -- Analyzing Directed Acyclic Graph Recombination -- Rough Set Based Knowledge Discovery of Interface for the Internet Usage among Japanese Elderly Women -- Fuzzy Limits and Fuzzy Nearness Relation -- Handwritten Digit Recognition: A Neural Network Demo -- New Neural Nets -- Inference in Fuzzy Models of Physical Processes -- About the Combination of Functional Approaches and Fuzzy Reasoning -- Expected Utility Networks in Transferable Belief Model -- Data Clustering and Rule Abduction to Facilitate Crime Hot Spot Prediction -- Computing with Words: Multi-objective GAS for Approximate Reasoning -- The Description of All ?-Distributive Triangular Norms of Lengths 2 and 3 -- Latent Semantic Analysis for German Literature Investigation -- Some Possibilities of Improving the CORA Classification Algorithm -- Computer Aided Selection of Cutting Parameters by Using Fuzzy Logic -- Process Monitoring in Chemical Plants Using Neural Networks -- Fuzzy Probability and Power System Safety -- A Fuzzy Logic System Used in Safety Analysis -- Chaining of Fuzzy Rules in RETE Network -- A Fuzzy Relation for Comparing Intervals -- Tomography in Fractal Neural Nets -- Fuzzy Approach in Ultrasound Image Segmentation -- Dynamic Decision Making Based on Partial Probability Information -- AMA: An OWA Operator Based on the Majority Process -- DSP Implementation of Fuzzy Controlled Magnetic Levitation System -- Programming Work Simulator of the Ann-Based Integrated Protection System for the Reversible Hydro Generating Sets -- Blending of 2D Objects Using Fuzzy Logic -- The Application Based on Incremental Knowledge Discovery Algorithm in Color Matching System -- Fuzzy Convexity and Connectivity. |
| Record Nr. | UNINA-9910767578103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Logic and Proof Theory [[electronic resource] ] : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings / / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici
| Computational Logic and Proof Theory [[electronic resource] ] : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings / / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (IX, 355 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical logic
Programming languages (Electronic computers) Artificial intelligence Algorithms Mathematical Logic and Foundations Programming Languages, Compilers, Interpreters Artificial Intelligence Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-69806-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Paramodulation, superposition, and simplification -- Explaining Gentzen's consistency proof within infinitary proof theory -- Alogtime algorithms for tree isomorphism, comparison, and canonization -- Ultrafilter logic and generic reasoning -- Informal rigor and mathematical understanding -- Resolution, inverse method and the sequent calculus -- Subtyping over a lattice (abstract) -- A new method for bounding the complexity of modal logics -- Parameter free induction and reflection -- Looking for an analogue of Rice's Theorem in circuit complexity theory -- Two connections between Linear Logic and ?ukasiewicz Logics -- Structuring of computer-generated proofs by cut introduction -- NaDSyL and some applications -- Markov's rule is admissible in the set theory with intuitionistic logic -- Bounded hyperset theory and web-like data bases -- Invariant definability -- Comparing computational representations of Herbrand models -- Restart tableaux with selection function -- Two semantics and logics based on the Gödel interpretation -- On the completeness and decidability of a restricted first order linear temporal logic -- Propositional quantification in intuitionistic logic -- Sketch-as-proof -- Translating set theoretical proofs into type theoretical programs -- Denotational semantics for polarized (but-non-constrained) LK by means of the additives -- The undecidability of simultaneous rigid E-unification with two variables -- The tangibility reflection principle for self-verifying axiom systems -- Upper bounds for standardizations and an application. |
| Record Nr. | UNISA-996465504403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Logic and Proof Theory [[electronic resource] ] : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings / / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici
| Computational Logic and Proof Theory [[electronic resource] ] : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings / / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (IX, 355 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical logic
Programming languages (Electronic computers) Artificial intelligence Algorithms Mathematical Logic and Foundations Programming Languages, Compilers, Interpreters Artificial Intelligence Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-69806-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Paramodulation, superposition, and simplification -- Explaining Gentzen's consistency proof within infinitary proof theory -- Alogtime algorithms for tree isomorphism, comparison, and canonization -- Ultrafilter logic and generic reasoning -- Informal rigor and mathematical understanding -- Resolution, inverse method and the sequent calculus -- Subtyping over a lattice (abstract) -- A new method for bounding the complexity of modal logics -- Parameter free induction and reflection -- Looking for an analogue of Rice's Theorem in circuit complexity theory -- Two connections between Linear Logic and ?ukasiewicz Logics -- Structuring of computer-generated proofs by cut introduction -- NaDSyL and some applications -- Markov's rule is admissible in the set theory with intuitionistic logic -- Bounded hyperset theory and web-like data bases -- Invariant definability -- Comparing computational representations of Herbrand models -- Restart tableaux with selection function -- Two semantics and logics based on the Gödel interpretation -- On the completeness and decidability of a restricted first order linear temporal logic -- Propositional quantification in intuitionistic logic -- Sketch-as-proof -- Translating set theoretical proofs into type theoretical programs -- Denotational semantics for polarized (but-non-constrained) LK by means of the additives -- The undecidability of simultaneous rigid E-unification with two variables -- The tangibility reflection principle for self-verifying axiom systems -- Upper bounds for standardizations and an application. |
| Record Nr. | UNINA-9910144919503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings / / edited by Nils Bulling, Leendert van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings / / edited by Nils Bulling, Leendert van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVI, 199 p. 22 illus.) |
| Disciplina | 004.015113 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Software engineering Programming languages (Electronic computers) Computer logic Application software Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Information Systems Applications (incl. Internet) |
| ISBN | 3-319-09764-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484615603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
