An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-64881-7_15 ◽

2020 ◽

pp. 236-254

Author(s):

Robert Sachtleben

Keyword(s):

Counting Algorithm

3D box-counting algorithm for calculating fractal dimension of cities

Journal of Computer Applications ◽

10.3724/sp.j.1087.2010.02070 ◽

2010 ◽

Vol 30 (8) ◽

pp. 2070-2072

Author(s):

Le-shan ZHANG ◽

Ge CHEN ◽

Yong HAN ◽

Tao ZHANG

Keyword(s):

Fractal Dimension ◽

Box Counting ◽

Counting Algorithm

A Parallel Frequent Item Counting Algorithm

2016 8th International Conference on Intelligent Human-Machine Systems and Cybernetics (IHMSC) ◽

10.1109/ihmsc.2016.123 ◽

2016 ◽

Cited By ~ 1

Author(s):

Xun Yang ◽

Jun Liu ◽

Wenli Zhou

Keyword(s):

Frequent Item ◽

Counting Algorithm

Research on Counting Algorithm of Residual Feeds in Aquaculture Based on Machine Vision

2018 IEEE 3rd International Conference on Image, Vision and Computing (ICIVC) ◽

10.1109/icivc.2018.8492873 ◽

2018 ◽

Cited By ~ 1

Author(s):

Jiaheng Cao ◽

Lihong Xu

Keyword(s):

Machine Vision ◽

Counting Algorithm

Accuracy Analysis of the Box-Counting Algorithm

Acta Physica Polonica A ◽

10.12693/aphyspola.121.b-28 ◽

2012 ◽

Vol 121 (2B) ◽

pp. B-28-B-30 ◽

Cited By ~ 2

Author(s):

A.Z. Górski ◽

S. Drożdż ◽

A. Mokrzycka ◽

J. Pawlik

Keyword(s):

Accuracy Analysis ◽

Box Counting ◽

Counting Algorithm

Box-counting algorithm and dimensional analysis of a pulsar

Journal of Computational Physics ◽

10.1016/0021-9991(92)90201-9 ◽

1992 ◽

Vol 99 (2) ◽

pp. 196-202 ◽

Cited By ~ 4

Author(s):

F.H. Ling ◽

G. Schmidt

Keyword(s):

Dimensional Analysis ◽

Box Counting ◽

Counting Algorithm

Design and Implementation of Paper Counting Algorithm Based on Gabor Filter

Proceedings of the International Symposium on Big Data and Artificial Intelligence - ISBDAI '18 ◽

10.1145/3305275.3305331 ◽

2018 ◽

Author(s):

Chen Jiqiu ◽

Lu Qirong ◽

Liang Qianming

Keyword(s):

Gabor Filter ◽

Design And Implementation ◽

Counting Algorithm

Barvinok’s Counting Algorithm and Gomory Relaxations

Linear and Integer Programming vs Linear Integration and Counting - Springer Series in Operations Research and Financial Engineering ◽

10.1007/978-0-387-09414-4_7 ◽

2009 ◽

pp. 107-113

Author(s):

Jean-Bemard Lasserre

Keyword(s):

Counting Algorithm

Fast differential box-counting algorithm on GPU

The Journal of Supercomputing ◽

10.1007/s11227-019-03030-1 ◽

2019 ◽

Vol 76 (1) ◽

pp. 204-225 ◽

Cited By ~ 1

Author(s):

Juan Ruiz de Miras

Keyword(s):

Box Counting ◽

Counting Algorithm

Application of the Quantum Counting Algorithm to Estimate the Weights of Boolean Functions in Quipper

Journal of Experimental and Theoretical Physics ◽

10.1134/s1063776120040032 ◽

2020 ◽

Vol 130 (5) ◽

pp. 643-648

Author(s):

D. V. Denisenko

Keyword(s):

Boolean Functions ◽

Quantum Counting ◽

Counting Algorithm

Design of Paper Counting Algorithm based on Texture Image

2019 IEEE 4th Advanced Information Technology, Electronic and Automation Control Conference (IAEAC) ◽

10.1109/iaeac47372.2019.8997773 ◽

2019 ◽

Author(s):

Xiaoyi Han ◽

Jisen Wang

Keyword(s):

Texture Image ◽

Counting Algorithm