top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
10th International Conference on Automated Deduction [[electronic resource] ] : Kaiserslautern, FRG, July 24-27, 1990. Proceedings / / edited by Mark E. Stickel
10th International Conference on Automated Deduction [[electronic resource] ] : Kaiserslautern, FRG, July 24-27, 1990. Proceedings / / edited by Mark E. Stickel
Edizione [1st ed. 1990.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990
Descrizione fisica 1 online resource (XVIII, 690 p.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Mathematical logic
Artificial Intelligence
Mathematical Logic and Formal Languages
ISBN 3-540-47171-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A theorem prover for a computational logic -- A complete semantic back chaining proof system -- Parallelizing the closure computation in automated deduction -- Partheo: A high-performance parallel theorem prover -- Substitution-based compilation of extended rules in deductive databases -- Automatic theorem proving in paraconsistent logics: Theory and implementation -- Case-free programs: An abstraction of definite horn programs -- Generalized well-founded semantics for logic programs -- Tactical theorem proving in program verification -- Extensions to the rippling-out tactic for guiding inductive proofs -- Guiding induction proofs -- Term rewriting induction -- A resolution principle for clauses with constraints -- Str+ve: The Str+ve-based subset prover -- Ritt-Wu's decomposition algorithm and geometry theorem proving -- Encoding a dependent-type ?-calculus in a logic programming language -- Investigations into proof-search in a system of first-order dependent function types -- Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete -- An improved general E-unification method -- Some results on equational unification -- Unification in a combination of equational theories: an efficient algorithm -- SLIM: An automated reasoner for equivalences, applied to set theory -- An examination of the prolog technology theorem-prover -- Presenting intuitive deductions via symmetric simplification -- Toward mechanical methods for streamlining proofs -- Ordered rewriting and confluence -- Complete sets of reductions with constraints -- Rewrite systems for varieties of semigroups -- Improving associative path orderings -- Perspectives on automated deduction -- On restrictions of ordered paramodulation with simplification -- Simultaneous paramodulation -- Hyper resolution and equality axioms without function substitutions -- Automatic acquisition of search guiding heuristics -- Automated reasoning contributes to mathematics and logic -- A mechanically assisted constructive proof in category theory -- Dynamic logic as a uniform framework for theorem proving in intensional logic -- A tableaux-based theorem prover for a decidable subset of default logic -- Computing prime implicants -- Minimizing the number of clauses by renaming -- Higher order E-unification -- Programming by example and proving by example using higher-order unification -- Retrieving library identifiers via equational matching of types -- Unification in monoidal theories -- A science of reasoning: Extended abstract -- The TPS theorem proving system -- Schemata -- Cylindric algebra equation solver -- The OYSTER-CLAM system -- A high-performance parallel theorem prover -- The romulus proof checker -- IMPS : An interactive mathematical proof system -- UNICOM: A refined completion based inductive theorem prover -- The theorem prover of the program verifier Tatzelwurm -- RCL: A lisp verification system -- Orme an implementation of completion procedures as sets of transitions rules -- Otter 2.0 -- Dissolver: A dissolution-based theorem prover -- TRIP: An implementation of clausal rewriting -- OSCAR -- Expert thinker: An adaptation of F-Prolog to microcomputers -- A prolog technology theorem prover -- A general clause theorem prover -- Liss — The logic inference search system -- ACE: The abstract clause engine -- Tutorial on high-performance automated theorem proving -- Tutorial on reasoning and representation with concept languages -- Tutorial on ?Prolog -- Tutorial on equational unification -- Tutorial on compilation techniques for logics -- Tutorial on high-performance theorem provers: Efficient implementation and parallelisation -- Tutorial on rewrite-based theorem proving -- Tutorial on program-synthetic deduction -- Tutorial on computing models of propositional logics.
Record Nr. UNISA-996465843003316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
The 10th International Conference on Computer Engineering and Networks [[electronic resource] /] / edited by Qi Liu, Xiaodong Liu, Tao Shen, Xuesong Qiu
The 10th International Conference on Computer Engineering and Networks [[electronic resource] /] / edited by Qi Liu, Xiaodong Liu, Tao Shen, Xuesong Qiu
Edizione [1st ed. 2021.]
Pubbl/distr/stampa Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2021
Descrizione fisica 1 online resource (XXIII, 1757 p. 913 illus., 450 illus. in color.)
Disciplina 621.39
Collana Advances in Intelligent Systems and Computing
Soggetto topico Telecommunication
Computational intelligence
Artificial intelligence
Internet of things
Biomedical engineering
Communications Engineering, Networks
Computational Intelligence
Artificial Intelligence
Internet of Things
Biomedical Engineering and Bioengineering
ISBN 981-15-8462-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Internet of Things and Smart Systems -- Artificial Intelligence and Applications -- Communication System Detection, Analysis and Application -- Medical Engineering and Information Systems.
Record Nr. UNINA-9910483194503321
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2021
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
The 10th International Conference on Computer Engineering and Networks / / edited by Qi Liu, Xiaodong Liu, Tao Shen, Xuesong Qiu
The 10th International Conference on Computer Engineering and Networks / / edited by Qi Liu, Xiaodong Liu, Tao Shen, Xuesong Qiu
Edizione [1st ed. 2021.]
Pubbl/distr/stampa Springer Singapore, 2021
Descrizione fisica 1 online resource (XXIII, 1757 p. 913 illus., 450 illus. in color.)
Disciplina 621.39
Collana Advances in Intelligent Systems and Computing
Soggetto topico Telecommunication
Computational intelligence
Artificial intelligence
Internet of things
Biomedical engineering
Communications Engineering, Networks
Computational Intelligence
Artificial Intelligence
Internet of Things
Biomedical Engineering and Bioengineering
ISBN 981-15-8462-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Internet of Things and Smart Systems -- Artificial Intelligence and Applications -- Communication System Detection, Analysis and Application -- Medical Engineering and Information Systems.
Record Nr. UNINA-9910863286103321
Springer Singapore, 2021
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
10th International Conference on Practical Applications of Computational Biology & Bioinformatics / / edited by Mohd Saberi Mohamad, Miguel P. Rocha, Florentino Fdez-Riverola, Francisco J. Domínguez Mayo, Juan F. De Paz
10th International Conference on Practical Applications of Computational Biology & Bioinformatics / / edited by Mohd Saberi Mohamad, Miguel P. Rocha, Florentino Fdez-Riverola, Francisco J. Domínguez Mayo, Juan F. De Paz
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource
Disciplina 570.285
Collana Advances in Intelligent Systems and Computing
Soggetto topico Computational intelligence
Artificial intelligence
Bioinformatics
Computational Intelligence
Artificial Intelligence
Computational Biology/Bioinformatics
ISBN 3-319-40126-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Data And Text Mining -- Gene Expression -- Genomics -- Systems Biology.
Record Nr. UNINA-9910254228103321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
10th International Conference on Robotics, Vision, Signal Processing and Power Applications [[electronic resource] ] : Enabling Research and Innovation Towards Sustainability / / edited by Mohamad Adzhar Md Zawawi, Soo Siang Teoh, Noramalina Binti Abdullah, Mohd Ilyas Sobirin Mohd Sazali
10th International Conference on Robotics, Vision, Signal Processing and Power Applications [[electronic resource] ] : Enabling Research and Innovation Towards Sustainability / / edited by Mohamad Adzhar Md Zawawi, Soo Siang Teoh, Noramalina Binti Abdullah, Mohd Ilyas Sobirin Mohd Sazali
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XVIII, 647 p. 322 illus., 239 illus. in color.)
Disciplina 629.8
Collana Lecture Notes in Electrical Engineering
Soggetto topico Control engineering
Robotics
Mechatronics
Artificial intelligence
Signal processing
Image processing
Speech processing systems
Power electronics
Control, Robotics, Mechatronics
Artificial Intelligence
Signal, Image and Speech Processing
Power Electronics, Electrical Machines and Networks
ISBN 981-13-6447-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Robotics, Control, Mechatronics and Automation -- Vision, Image, and Signal Processing -- Artificial Intelligence and Computer Applications -- Electronic Design and Applications -- Biomedical, Bioengineering and Applications -- RF, Antenna Applications and Telecommunication Systems -- Power Systems, High Voltage and Renewable Energy -- Electrical Machines, Drives and Power Electronics -- Devices, Circuits and Embedded Systems -- Sensors and Sensing Techniques.
Record Nr. UNINA-9910483247403321
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
10th International Conference on Soft Computing Models in Industrial and Environmental Applications / / edited by Álvaro Herrero, Javier Sedano, Bruno Baruque, Héctor Quintián, Emilio Corchado
10th International Conference on Soft Computing Models in Industrial and Environmental Applications / / edited by Álvaro Herrero, Javier Sedano, Bruno Baruque, Héctor Quintián, Emilio Corchado
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (471 p.)
Disciplina 006.3
Collana Advances in Intelligent Systems and Computing
Soggetto topico Computational intelligence
Artificial intelligence
Computational Intelligence
Artificial Intelligence
ISBN 3-319-19719-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Applications -- Classification and Clustering Methods -- Evolutionary Computation and Optimization -- Intelligent Systems -- SOCO15-SS01: Soft Computing Methods in Bioinformatics -- SOCO15-SS02: Optimization, Modeling and Control Systems (OMCS) -- SOCO15-SS03: Soft Computing Approaches for Knowledge Extraction -- SOCO15-SS04: Soft Computing Methods in Manufacturing and Management Systems.
Record Nr. UNINA-9910733713003321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
10th International Conference on Theory and Application of Soft Computing, Computing with Words and Perceptions - ICSCCW-2019 / / edited by Rafik A. Aliev, Janusz Kacprzyk, Witold Pedrycz, Mo Jamshidi, Mustafa B. Babanli, Fahreddin M. Sadikoglu
10th International Conference on Theory and Application of Soft Computing, Computing with Words and Perceptions - ICSCCW-2019 / / edited by Rafik A. Aliev, Janusz Kacprzyk, Witold Pedrycz, Mo Jamshidi, Mustafa B. Babanli, Fahreddin M. Sadikoglu
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (997 pages)
Disciplina 006.3
Collana Advances in Intelligent Systems and Computing
Soggetto topico Computational intelligence
Artificial intelligence
Computational Intelligence
Artificial Intelligence
ISBN 3-030-35249-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910483980403321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
11th International Conference on Practical Applications of Computational Biology & Bioinformatics / / edited by Florentino Fdez-Riverola, Mohd Saberi Mohamad, Miguel Rocha, Juan F. De Paz, Tiago Pinto
11th International Conference on Practical Applications of Computational Biology & Bioinformatics / / edited by Florentino Fdez-Riverola, Mohd Saberi Mohamad, Miguel Rocha, Juan F. De Paz, Tiago Pinto
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XIV, 330 p. 97 illus.)
Disciplina 570.285
Collana Advances in Intelligent Systems and Computing
Soggetto topico Computational intelligence
Artificial intelligence
Bioinformatics
Computational Intelligence
Artificial Intelligence
Computational Biology/Bioinformatics
ISBN 3-319-60816-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Processing 2D gel electrophoresis images for efficient Gaussian mixture modeling -- Development of text mining tools for information retrieval from patents -- Multidimensional Feature Selection and Interaction Mining with Decision Tree based ensemble methods -- Study of the Epigenetic Signals in the Human Genome -- An Ensemble Approach for Gene Selection in Gene Expression Data -- Dissimilar Symmetric Word Pairs in the Human Genome.
Record Nr. UNINA-9910254312903321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
The 12th Conference on Information Technology and Its Applications [[electronic resource] ] : Proceedings of the International Conference CITA 2023 / / edited by Ngoc Thanh Nguyen, Hoa Le-Minh, Cong-Phap Huynh, Quang-Vu Nguyen
The 12th Conference on Information Technology and Its Applications [[electronic resource] ] : Proceedings of the International Conference CITA 2023 / / edited by Ngoc Thanh Nguyen, Hoa Le-Minh, Cong-Phap Huynh, Quang-Vu Nguyen
Autore Nguyen Ngoc Thanh
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Descrizione fisica 1 online resource (414 pages)
Disciplina 004
Altri autori (Persone) Le-MinhHoa
HuynhCong Phap
NguyenQuang-Vu
Collana Lecture Notes in Networks and Systems
Soggetto topico Engineering—Data processing
Computational intelligence
Artificial intelligence
Data Engineering
Computational Intelligence
Artificial Intelligence
ISBN 3-031-36886-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Conference Organization -- Contents -- Data Science and Artificial Intelligence -- A New ConvMixer-Based Approach for Diagnosis of Fault Bearing Using Signal Spectrum -- 1 Introduction -- 2 Related Work -- 2.1 Conv-Mixer Neural Networks -- 2.2 Siamese Neural Networks -- 3 Methodology -- 3.1 General Architecture for Failure Diagnosis -- 3.2 The Proposed Siamese-Based Conv-Mixer Model -- 3.3 Diagnosis Network -- 4 Experiment -- 4.1 Datasets -- 4.2 Training -- 4.3 Results -- 4.4 Comparison -- 5 Conclusion -- References -- Differentially-Private Distributed Machine Learning with Partial Worker Attendance: A Flexible and Efficient Approach -- 1 Introduction -- 1.1 Background -- 1.2 Our Contributions -- 1.3 Paper Organization -- 2 Preliminaries -- 3 Our Proposed Algorithm -- 4 Experiments -- 5 Conclusion -- References -- Building Legal Knowledge Map Repository with NLP Toolkits -- 1 Introduction -- 2 Legal Knowledge Maps -- 2.1 Modeling -- 2.2 Hierarchy of Legislation -- 2.3 Legal Ontology Design -- 2.4 Legal Knowledge Map Construction -- 3 Implementation -- 3.1 Materials -- 3.2 Vietnamese NLP Toolkits -- 3.3 Building VLegalKMaps as Linked Data -- 4 Validations -- 4.1 Experiment Setup -- 4.2 Case Study -- 4.3 Statistics and Discussions -- 5 Conclusions and Future Works -- References -- Classification of Ransomware Families Based on Hashing Techniques -- 1 Introduction -- 2 Overview of Hashing Techniques in Malware Analysis -- 3 The Proposed Method -- 3.1 The Combined Analysis Method of Imphash, File Level Ssdeep Hashing, and Section Level Ssdeep Hashing -- 3.2 Preparing the Database -- 3.3 Predictive Model -- 3.4 Evaluation Criteria -- 4 Evaluations and Results -- 4.1 Experiment with Test Set Containing only Ransomware -- 4.2 Experiment with Test Set Containing both Malicious and Benign Samples.
4.3 Advantages and Limitations of the Proposed Method -- 5 Conclusions -- References -- Towards a New Multi-tasking Learning Approach for Human Fall Detection -- 1 Introduction -- 2 Related Work -- 2.1 Simulated Falls -- 2.2 Real Falls -- 2.3 Multi-task Learning -- 2.4 Summary -- 3 Multi-task Deep Neural Network for Fall Detection -- 3.1 Multiple Classifiers -- 3.2 Temporal Convolutional Network as a Feature Extractor -- 3.3 Re-sampling for Class and Task Balance -- 3.4 Data Augmentation -- 4 Experiments -- 4.1 Datasets -- 4.2 Experiment Settings -- 4.3 Evaluation and Discussion -- 5 Conclusion and Future Work -- References -- A Comparative Study of Wrapper Feature Selection Techniques in Software Fault Prediction -- 1 Introduction -- 2 Related Work -- 3 Feature Selection -- 3.1 Software Metrics -- 3.2 Genetic Algorithm -- 3.3 Particle Swarm Optimization -- 3.4 Whale Optimization Algorithm -- 3.5 Cuckoo Search -- 3.6 Mayfly Algorithm -- 3.7 Binary Bat Algorithm -- 3.8 Feature Selection Details -- 4 Methodology -- 4.1 Proposed Approach -- 4.2 VanillaGAN for Handling Imbalanced Data -- 4.3 Dataset -- 4.4 Evaluation Measurement -- 5 Experimental Result -- 6 Conclusion -- References -- Incorporating Natural Language-Based and Sequence-Based Features to Predict Protein Sumoylation Sites -- 1 Introduction -- 2 Methodology -- 2.1 Data Preparation and Pre-processing -- 2.2 Feature Extraction and Encoding -- 2.3 Model Construction, Learning and Evaluation -- 3 Results and Discussion -- 3.1 Impact of Amino Acid Composition and Single Features -- 3.2 Impact of Hybrid Features -- 3.3 RSXSUMO Model Construction -- 3.4 Comparison with Other Predictors -- 4 Conclusion -- References -- A Model for Alliance Partner Selection Based on GM (1, 1) and DEA Frameworks - Case of Vietnamese Coffee Industry -- 1 Introduction -- 2 Related Works -- 2.1 Strategic Alliance.
2.2 Grey Forecasting Model -- 2.3 Data Envelopment Analysis -- 3 Proposal Research -- 4 Case Study -- 4.1 DMU Collection -- 4.2 Inputs and Outputs Selection -- 4.3 Forecast the Performance of All DMU by GM (1, 1) Model. -- 4.4 Analysis Performance Before Alliance -- 4.5 Analysis the Performance After Alliance -- 5 Conclusions -- References -- Car Detector Based on YOLOv5 for Parking Management -- 1 Introduction -- 2 Related Works -- 2.1 Traditional Machine Learning-Based Methods -- 2.2 CNN-Based Methods -- 3 Methodology -- 3.1 Proposed Network Architecture -- 3.2 Loss Function -- 4 Experiments -- 4.1 Datasets -- 4.2 Experimental Setup -- 4.3 Experimental Results -- 4.4 Ablation Study -- 5 Conclusion -- References -- Deep Learning-Based Approach for Automatic Detection of Malaria in Peripheral Blood Smear Images -- 1 Introduction -- 2 Related Works -- 3 Experiments -- 3.1 Data Collection -- 3.2 Exploratory Data Analysis -- 3.3 Two-Stage Approach -- 4 Results and Discussions -- 4.1 Evaluation Metrics -- 4.2 Results -- 5 Conclusion -- References -- An Improved Transfer Learning-Based Approach for Detecting Abnormal Cervical Cells from Pap Smear Microscopic Images -- 1 Introduction -- 2 Abnormal Cervical Cells and Preprocessing Data -- 2.1 Abnormal Cervical Cells -- 2.2 Exploratory Data Analysis and Preprocessing -- 3 Transfer Learning and Proposed Approach -- 3.1 ResNet50v2 -- 3.2 EfficientNetv2L -- 3.3 Proposed Approach Based on Transfer Learning -- 4 Experimental Results -- 5 Conclusion -- References -- Digital Economy -- Emotional Intelligence and Social Media Site Experiences' Effects on College Choice Behavior: The Mediating Role of Brand Attitude -- 1 Introduction -- 2 Theoretical Background and Hypotheses -- 2.1 Website Experiences and Emotional intelligence -- 2.2 The Attitude Toward Website Model - AWS Model.
2.3 The Research Model and Hypotheses -- 3 Research Method -- 4 Research Result -- 4.1 Descriptive Data Statistics -- 4.2 Reliability Test Results -- 4.3 Exploratory Factor Analysis (EFA) Results -- 4.4 Research Model Testing -- 5 Discussion -- 6 Conclusion -- References -- Image and Natural Language Processing -- A Multi Context Decoder-based Network with Applications for Polyp Segmentation in Colonoscopy Images -- 1 Introduction -- 2 Related Work -- 2.1 Vision Transformer -- 2.2 Fusion On Multi Resolution Feature Map -- 3 Methodology -- 3.1 Overview -- 3.2 Generate Context Feature Map (GCF) -- 3.3 Decoder Block -- 4 Experiments -- 4.1 Dataset -- 4.2 Evaluation Metrics -- 4.3 Implementation Details -- 4.4 Representative Results -- 4.5 Comparative Results -- 5 Conclusion -- References -- AMG-Mixer: A Multi-Axis Attention MLP-Mixer Architecture for Biomedical Image Segmentation -- 1 Introduction -- 2 Related Work -- 3 Proposed Network Architecture -- 3.1 AxialMBConv Token Mix and Mixer Building Block -- 3.2 Multi-scale Multi-axis MLP Gated (MS-MAMG) -- 3.3 Decoder Unit -- 4 Experiments -- 4.1 Datasets -- 4.2 Training Strategy -- 4.3 Evaluation Metrics -- 4.4 Representative Results -- 4.5 Comparative Results -- 5 Conclusion -- References -- Investigating YOLO Models for Rice Seed Classification -- 1 Introduction -- 2 Methodology -- 2.1 YOLOv5 -- 2.2 YOLOv6 -- 2.3 YOLOv7 -- 3 Experiments and Results -- 3.1 Data Description -- 3.2 Performance Indicator -- 3.3 Result and Discussion -- 4 Conclusion -- References -- Extending OCR Model for Font and Style Classification -- 1 Introduction -- 2 Related Works -- 3 Methods -- 3.1 Problem Formulation -- 3.2 Overview -- 3.3 Encoder -- 3.4 Decoder -- 3.5 Image-wise Font Clsasification -- 3.6 Style Classification -- 3.7 Loss Function -- 4 Experiments -- 4.1 Experiment Setting -- 4.2 Benchmarks.
4.3 Experiment Result and Discussion -- 5 Conclusion -- References -- STG-SimVP: Spatiotemporal GAN-Based SimVP for Video Prediction -- 1 Introduction -- 2 Related Work -- 2.1 Video Frame Synthesis -- 2.2 Generative Adversarial Networks - GAN -- 2.3 SimVP -- 3 Proposed Methods -- 3.1 STG-SimVP -- 3.2 Dual Discriminators -- 3.3 Objective Function -- 4 Experiments -- 4.1 Datasets -- 4.2 Training Details -- 4.3 Comparisons With State-of-the-Art Methods -- 5 Ablation Study -- 6 Limitations -- 7 Conclusion -- References -- Tritention U-Net: A Modified U-Net Architecture for Lung Tumor Segmentation -- 1 Introduction -- 2 Tritention U-Net Architechture (TU-Net) -- 2.1 Architechture Overview -- 2.2 Backbone U-Net Architecture -- 2.3 Tritention Gate -- 3 Experimental and Results -- 3.1 Dataset -- 3.2 Experimental Setup -- 3.3 Results -- 4 Conclusion -- References -- Multi-modal with Multiple Image Filters for Facial Emotion Recognition -- 1 Introduction -- 2 Multiple Filter Levels for FER -- 2.1 Multiple Model -- 2.2 Dropping Pixels - Processor -- 2.3 Blurring Image - Processor -- 3 Experimental and Results -- 3.1 Dataset -- 3.2 Experimental Setup -- 3.3 Results -- 4 Conclusion -- References -- Few-Shots Novel Space-Time View Synthesis from Consecutive Photos -- 1 Introduction -- 2 Related Work -- 3 Proposed Methods -- 3.1 Background: Neural Scene Flow Fields (NSFF) -- 3.2 NSFF with Encoder -- 4 Experiments -- 4.1 Implement Details -- 4.2 Evaluations -- 5 Limitations -- 6 Conclusion -- References -- Information Technology Skills Extractor for Job Descriptions in vku-ITSkills Dataset Using Natural Language Processing -- 1 Introduction -- 2 Preliminary -- 3 Construct IT Skills Dictionary and vku-ITSkills Dataset -- 4 The Proposed NLP Pipeline for IT Skills Extractor -- 4.1 Tokenizer -- 4.2 Transformers Based Token Embedding.
4.3 Part of Speech (POS) Tagging, Noun Phrases and Combination Rules.
Record Nr. UNINA-9910736019003321
Nguyen Ngoc Thanh  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
13th International Conference on Theory and Application of Fuzzy Systems and Soft Computing — ICAFS-2018 / / edited by Rafik A. Aliev, Janusz Kacprzyk, Witold Pedrycz, Mo. Jamshidi, Fahreddin M. Sadikoglu
13th International Conference on Theory and Application of Fuzzy Systems and Soft Computing — ICAFS-2018 / / edited by Rafik A. Aliev, Janusz Kacprzyk, Witold Pedrycz, Mo. Jamshidi, Fahreddin M. Sadikoglu
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XIX, 970 p. 295 illus., 170 illus. in color.)
Disciplina 006.3
Collana Advances in Intelligent Systems and Computing
Soggetto topico Computational intelligence
Artificial intelligence
Computational Intelligence
Artificial Intelligence
ISBN 3-030-04164-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto From status quo bias to innovative multiagent decisions under fuzzy preferences and fuzzy majority -- Bimodal information clustering methods -- Maximum likelihood estimation from interval-valued data. Application to fuzzy clustering -- Theory and practice of material development under imperfect information -- Forming and Quantifying Consensus in Distributed System Modeling and Group Decision-Making:A Perspective of Granular Computing -- Why multidimensional fuzzy arithmetic? -- On Using Fuzzy Sets in Healthcare Process Analysis -- Optimization of Jobs in GIS by Coloring of Fuzzy Temporal Graph -- Algebraic Properties Of Z -Numbers Under Multiplicative Arithmetic Operations -- Z-number based TOPSIS method in multi-criteria decision making -- Comparative Analysis of Artificial Intelligence Based Methods for Prediction of Precipitation. Case Study: North Cyprus -- Analysis and Processing of Information in Economic Problems. Crisp and Fuzzy Technologies -- Labeled Fuzzy Rough Sets in Multiple-criteria Decision-making -- Comparing Image Distortion of LSB -- An Effective Fuzzy Controlled Filter for Feature Extraction Method -- Analysis of Prediction Models for Wind Power Density, Case Study: Ercan Area, Northern Cyprus -- Evaluation of Image Representations for Player Detection in Field Sports using Convolutional Neural Networks -- A Fuzzy Based Gaussian Weighted Moving Windowing for Denoising Electrocardiogram (ECG) Signals -- Integrated Deep Learning Structures For Hand Gesture Recognition -- Rule Based Intelligent Diabetes Diagnosis System -- Intensive Investigation in Differential Diagnosis of Erythemato-Squamous Diseases -- A Computational-Intelligence Based Approach to Diagnosis of Diabetes Mellitus Disease -- Fuzzy Expert system for rectal cancer.
Record Nr. UNINA-9910483261503321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui

Formato

Livello bibliografico

Autore (Persona)

Altro...

Autore (Ente)

Autore (Convegno)

Opere

Altro...

Pubbl/distr/stampa

Altro...

Lingua di pubblicazione

Data

Data di pubblicazione

Altro...

Soggetto (Persona)

Soggetto (Ente)

Soggetto (Convegno)

Soggetto geografico

Altro...

Soggetto topico

Altro...

Soggetto genere / forma

Altro...