×

Found 614 Documents (Results 1–100)

100
MathJax

A two-stage exact algorithm for optimization of neural network ensemble. (English) Zbl 07493624

Stuckey, Peter J. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 18th international conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12735, 106-114 (2021).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI

Intelligent control system for water pollutant monitoring using ANN and fuzzy logic. (English) Zbl 07471350

Kumar, Rajesh (ed.) et al., Intelligent algorithms for analysis and control of dynamical systems. Selected papers based on the presentations at the the international conference on advances in systems, control and computing, AISCC-2020, Jaipur, India, February 27–28, 2020. Singapore: Springer. Algorithms Intell. Syst., 89-101 (2021).
MSC:  93C42 93C95 68T07
PDF BibTeX XML Cite
Full Text: DOI

Optimized recurrent neural network with fuzzy classifier for data prediction using hybrid optimization algorithm: scope towards diverse applications. (English) Zbl 07351786

MSC:  68P20
PDF BibTeX XML Cite
Full Text: DOI

Multi-model jumping systems: robust filtering and fault detection. (English) Zbl 1471.93004

Singapore: Springer (ISBN 978-981-33-6473-8/hbk; 978-981-33-6474-5/ebook). xiii, 182 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Time series and neural network analysis. (English) Zbl 1454.91266

Lee, Cheng Few (ed.) et al., Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 4. Hackensack, NJ: World Scientific. 3887-3931 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Fuzzy modular neural model for blinking coding detection and classification for linguistic expression recognition. (English) Zbl 07392087

Castillo, Oscar (ed.) et al., Intuitionistic and type-2 fuzzy logic enhancements in neural and optimization algorithms: theory and applications. Cham: Springer. Stud. Comput. Intell. 862, 675-689 (2020).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Forecasting of cryptocurrency prices using machine learning. (English) Zbl 1457.91424

Pichl, Lukáš (ed.) et al., Advanced studies of financial technologies and cryptocurrency markets. Springer: Singapore. 211-231 (2020).
MSC:  91G99 62P05 68T05
PDF BibTeX XML Cite
Full Text: DOI

Systematic generation of diverse benchmarks for DNN verification. (English) Zbl 1478.68184

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 97-121 (2020).
MSC:  68Q60 68T07
PDF BibTeX XML Cite
Full Text: DOI

Case study: Verifying the safety of an autonomous racing car with a neural network controller. (English) Zbl 07300869

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 28, 7 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI arXiv

AReN: assured ReLU NN architecture for model predictive control of LTI systems. (English) Zbl 07300847

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 6, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Neural flocking: MPC-based supervised learning of flocking controllers. (English) Zbl 1442.68212

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 1-16 (2020).
MSC:  68T07 68T05 93B45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software