| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910349408003321 |
|
|
Titolo |
Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings / / edited by David N. Jansen, Pavithra Prabhakar |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2018.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 289 p. 59 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 11022 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Algorithms |
Computer science |
Machine theory |
Software engineering |
Computer simulation |
Artificial intelligence |
Computer Science Logic and Foundations of Programming |
Formal Languages and Automata Theory |
Software Engineering |
Computer Modelling |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data -- Timed systems -- Linear and Non-linear Systems -- Timed Automata -- Special Session on Timed Systems and Probabilities. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and |
|
|
|
|
|
|
|
|
|
|
|
|
|
selected from 29 submissions. The papers are organized in the following topical sections: invited papers, temporal logics, distributed timed systems, behavioral equivalences, timed words, and continuous dynamical systems. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modeling and analysis of timed systems and, as a generalization, hybrid systems. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910482965803321 |
|
|
Titolo |
Artificial Neural Networks in Pattern Recognition : 6th IAPR TC 3 International Workshop, ANNPR 2014, Montreal, QC, Canada, October 6-8, 2014, Proceedings / / edited by Neamat El Gayar, Friedhelm Schwenker, Cheng Suen |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2014.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 289 p. 82 illus.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 8774 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Pattern recognition systems |
Data mining |
Computer vision |
User interfaces (Computer systems) |
Human-computer interaction |
Computer science |
Artificial Intelligence |
Automated Pattern Recognition |
Data Mining and Knowledge Discovery |
Computer Vision |
User Interfaces and Human Computer Interaction |
Theory of Computation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
A Decorrelation Approach for Pruning of Multilayer Perceptron Networks -- Entity Recognition -- Incremental Feature Selection by Block Addition and Block Deletion Using Least Squares SVRs -- Low-dimensional Data Representation in Data Analysis -- Analyzing dynamic ensemble selection techniques using dissimilarity Analysis -- Hidden Markov Models Based on Generalized Dirichlet Mixtures for Proportional Data Modeling -- Majority-Class aware Support Vector Domain Oversampling for Imbalanced Classification Problems -- Forward and Backward Forecasting Ensembles for the Estimation of Time Series Missing Data -- Dynamic Weighted Fusion of Adaptive Classifier Ensembles Based on Changing Data Streams: Combining Bipartite Graph Matching and Beam Search for Graph Edit Distance Approximation -- Computing Upper and Lower Bounds of Graph Edit Distance in Cubic Time -- Linear contrast classifiers in high-dimensional spaces -- A new multi-class fuzzy support vector machine algorithm -- A reinforcement learningalgorithm to train a Tetris playing agent -- Bio-inspired optic ow from event-based neuromorphic sensor input -- Comparative Study of Feature Selection for White Blood Cell End-Shape Recognition for Arabic Handwritten Text Segmentation -- Intelligent Ensemble Systems for Modeling NASDAQ Microstructure: A Comparative Study -- Face Recognition based on Discriminative Dictionary with Multilevel Feature Fusion -- Ensembles in Ubiquitous Healthcare Systems. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 6th IAPR TC3 International Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2014, held in Montreal, QC, Canada, in October 2014. The 24 revised full papers presented were carefully reviewed and selected from 37 submissions for inclusion in this volume. They cover a large range of topics in the field of learning algorithms and architectures and discussing the latest research, results, and ideas in these areas. |
|
|
|
|
|
|
|
| |