Relevant bibliographies by topics / Counting automaton

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Counting automaton'

Author: Grafiati
Published: 28 June 2021
Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Counting automaton.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Counting automaton"

1

SCHEICHER, KLAUS, and JÖRG M. THUSWALDNER. "Canonical number systems, counting automata and fractals." Mathematical Proceedings of the Cambridge Philosophical Society 133, no. 1 (July 2002): 163–82. http://dx.doi.org/10.1017/s0305004102005856.

Full text
Abstract:
In this paper we study properties of the fundamental domain [Fscr ]β of number systems, which are defined in rings of integers of number fields. First we construct addition automata for these number systems. Since [Fscr ]β defines a tiling of the n-dimensional vector space, we ask, which tiles of this tiling ‘touch’ [Fscr ]β. It turns out that the set of these tiles can be described with help of an automaton, which can be constructed via an easy algorithm which starts with the above-mentioned addition automaton. The addition automaton is also useful in order to determine the box counting dimension of the boundary of [Fscr ]β. Since this boundary is a so-called graph-directed self-affine set, it is not possible to apply the general theory for the calculation of the box counting dimension of self similar sets. Thus we have to use direct methods.
APA, Harvard, Vancouver, ISO, and other styles
2

ALAZEMI, HAMED M. K., and ANTON ČERNÝ. "COUNTING SUBWORDS USING A TRIE AUTOMATON." International Journal of Foundations of Computer Science 22, no. 06 (September 2011): 1457–69. http://dx.doi.org/10.1142/s0129054111008817.

Full text
Abstract:
We use the concept of trie (prefix tree) representation of a prefix-closed finite language L to design a simple nondeterministic automaton. Each computation of this trie automaton corresponds to a subword occurrence of a word from L in the input word. The matrix representation of the trie automaton leads to a fairly general extension of the original concept of the Parikh matrix from [7].
APA, Harvard, Vancouver, ISO, and other styles
3

MANUEL, AMALDEV, and R. RAMANUJAM. "CLASS COUNTING AUTOMATA ON DATAWORDS." International Journal of Foundations of Computer Science 22, no. 04 (June 2011): 863–82. http://dx.doi.org/10.1142/s0129054111008465.

Full text
Abstract:
In the theory of automata over infinite alphabets, a central difficulty is that of finding a suitable compromise between expressiveness and algorithmic complexity. We propose an automaton model where we count the multiplicity of data values on an input word. This is particularly useful when such languages represent behaviour of systems with unboundedly many processes, where system states carry such counts as summaries. A typical recognizable language is: "every process does at most k actions labelled a". We show that emptiness is elementarily decidable, by reduction to the covering problem on Petri nets.
APA, Harvard, Vancouver, ISO, and other styles
4

Baltic, Vladimir. "Applications of the finite state automata for counting restricted permutations and variations." Yugoslav Journal of Operations Research 22, no. 2 (2012): 183–98. http://dx.doi.org/10.2298/yjor120211023b.

Full text
Abstract:
In this paper, we use the finite state automata to count the number of restricted permutations and the number of restricted variations. For each type of restricted permutations, we construct a finite state automaton able to recognize and enumerate them. We, also, discuss how it encompasses the other known methods for enumerating permutations with restricted position, and in one case, we establish connections with some other combinatorial structures, such as subsets and compositions.
APA, Harvard, Vancouver, ISO, and other styles
5

Păun, Gheorghe, and Mario J. Pérez-Jiménez. "Solving Problems in a DistributedWay in Membrane Computing: dP Systems." International Journal of Computers Communications & Control 5, no. 2 (June 1, 2010): 238. http://dx.doi.org/10.15837/ijccc.2010.2.2478.

Full text
Abstract:
Although P systems are distributed parallel computing devices, no explicit way of handling the input in a distributed way in this framework was considered so far. This note proposes a distributed architecture (based on cell-like P systems, with their skin membranes communicating through channels as in tissue-like P systems, according to specified rules of the antiport type), where parts of a problem can be introduced as inputs in various components and then processed in parallel. The respective devices are called dP systems, with the case of accepting strings called dP automata. The communication complexity can be evaluated in various ways: statically (counting the communication rules in a dP system which solves a given problem), or dynamically (counting the number of communication steps, of communication rules used in a computation, or the number of objects communicated). For each measure, two notions of “parallelizability" can be introduced. Besides (informal) definitions, some illustrations of these idea are provided for dP automata: each regular language is “weakly parallelizable" (i.e., it can be recognized in this framework, using a constant number of communication steps), and there are languages of various types with respect to Chomsky hierarchy which are “efficiently parallelizable" (they are parallelizable and, moreover, are accepted in a faster way by a dP automaton than by a single P automaton). Several suggestions for further research are made.
APA, Harvard, Vancouver, ISO, and other styles
6

Biehl, Martin, and Olaf Witkowski. "Investigating Transformational Complexity: Counting Functions a Region Induces on Another in Elementary Cellular Automata." Complexity 2021 (June 29, 2021): 1–8. http://dx.doi.org/10.1155/2021/7501405.

Full text
Abstract:
Over the years, the field of artificial life has attempted to capture significant properties of life in artificial systems. By measuring quantities within such complex systems, the hope is to capture the reasons for the explosion of complexity in living systems. A major effort has been in discrete dynamical systems such as cellular automata, where very few rules lead to high levels of complexity. In this paper, for every elementary cellular automaton, we count the number of ways a finite region can transform an enclosed finite region. We discuss the relation of this count to existing notions of controllability, physical universality, and constructor theory. Numerically, we find that particular sizes of surrounding regions have preferred sizes of enclosed regions on which they can induce more transformations. We also find three particularly powerful rules (90, 105, 150) from this perspective.
APA, Harvard, Vancouver, ISO, and other styles
7

Dassow, Jürgen, and Bianca Truthe. "Accepting networks of evolutionary processors with resources restricted and structure limited filters." RAIRO - Theoretical Informatics and Applications 55 (2021): 8. http://dx.doi.org/10.1051/ita/2021004.

Full text
Abstract:
In this paper, we continue the research on accepting networks of evolutionary processors where the filters belong to several special families of regular languages. We consider families of codes or ideals and subregular families which are defined by restricting the resources needed for generating or accepting them (the number of states of the minimal deterministic finite automaton accepting a language of the family as well as the number of non-terminal symbols or the number of production rules of a right-linear grammar generating such a language). We insert the newly defined language families into the hierachy of language families obtained by using as filters languages of other subregular families (such as ordered, non-counting, power-separating, circular, suffix-closed regular, union-free, definite, combinational, finite, monoidal, nilpotent, or commutative languages).
APA, Harvard, Vancouver, ISO, and other styles
8

BRODA, SABINE, ANTÓNIO MACHIAVELO, NELMA MOREIRA, and ROGÉRIO REIS. "ON THE AVERAGE SIZE OF GLUSHKOV AND PARTIAL DERIVATIVE AUTOMATA." International Journal of Foundations of Computer Science 23, no. 05 (August 2012): 969–84. http://dx.doi.org/10.1142/s0129054112400400.

Full text
Abstract:
In this paper, the relation between the Glushkov automaton [Formula: see text] and the partial derivative automaton [Formula: see text] of a given regular expression, in terms of transition complexity, is studied. The average transition complexity of [Formula: see text] was proved by Nicaud to be linear in the size of the corresponding expression. This result was obtained using an upper bound of the number of transitions of [Formula: see text]. Here we present a new quadratic construction of [Formula: see text] that leads to a more elegant and straightforward implementation, and that allows the exact counting of the number of transitions. Based on that, a better estimation of the average size is presented. Asymptotically, and as the alphabet size grows, the number of transitions per state is on average 2. Broda et al. computed an upper bound for the ratio of the number of states of [Formula: see text] to the number of states of [Formula: see text] which is about ½ for large alphabet sizes. Here we show how to obtain an upper bound for the number of transitions in [Formula: see text], which we then use to get an average case approximation. In conclusion, assymptotically, and for large alphabets, the size of [Formula: see text] is half the size of the [Formula: see text]. This is corroborated by some experiments, even for small alphabets and small regular expressions.
APA, Harvard, Vancouver, ISO, and other styles
9

GRECO, SERGIO, DOMENICO SACCÀ, and CARLO ZANIOLO. "GRAMMARS AND AUTOMATA TO OPTIMIZE CHAIN LOGIC QUERIES." International Journal of Foundations of Computer Science 10, no. 03 (September 1999): 349–72. http://dx.doi.org/10.1142/s0129054199000253.

Full text
Abstract:
The critical problem of finding efficient implementations for recursive queries with bound arguments offers many open challenges of practical and theoretical import. In particular, there is a need to find methods that are effective for the general case, such as non-linear programs, as well as for specialized cases, such as left-recursive linear programs. In this paper, we propose a novel approach that solves this problem for chain queries, i.e., for queries where bindings are propagated from arguments in the head to arguments in the tail of the rules, in a chain-like fashion. The method, called pushdown method, is based on the fact that a chain query can have associated a context-free language and a pushdown automaton recognizing this language can be emulated by rewriting the query as a particular factorized left-linear program. The proposed method generalizes and unifies previous techniques such as the 'counting' and 'right-, left-, mixed-linear' methods. It also succeeds in reducing many non-linear programs to query-equivalent linear ones.
APA, Harvard, Vancouver, ISO, and other styles
10

CALEGARI, DANNY, and KOJI FUJIWARA. "Combable functions, quasimorphisms, and the central limit theorem." Ergodic Theory and Dynamical Systems 30, no. 5 (November 4, 2009): 1343–69. http://dx.doi.org/10.1017/s0143385709000662.

Full text
Abstract:
AbstractA function on a discrete group is weakly combable if its discrete derivative with respect to a combing can be calculated by a finite-state automaton. A weakly combable function is bicombable if it is Lipschitz in both the left- and right-invariant word metrics. Examples of bicombable functions on word-hyperbolic groups include:(1)homomorphisms to ℤ;(2)word length with respect to a finite generating set;(3)most known explicit constructions of quasimorphisms (e.g. the Epstein–Fujiwara counting quasimorphisms).We show that bicombable functions on word-hyperbolic groups satisfy acentral limit theorem: if$\overline {\phi }_n$is the value of ϕ on a random element of word lengthn(in a certain sense), there areEandσfor which there is convergence in the sense of distribution$n^{-1/2}(\overline {\phi }_n - nE) \to N(0,\sigma )$, whereN(0,σ) denotes the normal distribution with standard deviationσ. As a corollary, we show that ifS1andS2are any two finite generating sets forG, there is an algebraic numberλ1,2depending onS1andS2such that almost every word of lengthnin theS1metric has word lengthn⋅λ1,2in theS2metric, with error of size$O(\sqrt {n})$.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Counting automaton"

1

Turcel, Matej. "Minimalizace automatů s jednoduchými čítači." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445565.

Full text
Abstract:
Táto práca sa zaoberá redukciou veľkosti tzv. čítačových automatov. Čítačové automaty rozširujú klasické konečné automaty o čítače s obmedzeným rozsahom hodnôt. Umožňujú tým efektívne spracovať napr. regulárne výrazy s opakovaním: a{5,10}. V tejto práci sa zaoberáme reláciou simulácie v čítačových automatoch, pomocou ktorej sme schopní zredukovať ich veľkosť. Opierame sa pritom o klasickú simuláciu v konečných automatoch, ktorú netriviálnym spôsobom rozširujeme na čítačové automaty. Kľúčovým rozdielom je nutnosť simulovať okrem stavov taktiež čítače. Za týmto účelom zavádzame nový koncept parametrizovanej relácie simulácie, a navrhujeme metódy výpočtu tejto relácie a redukcie veľkosti čítačových automatov pomocou nej. Navrhnuté metódy sú tiež implementované a je vyhodnotená ich efektivita.
APA, Harvard, Vancouver, ISO, and other styles
2

Sallay, John. "Automatic People Counting and Matching." DigitalCommons@USU, 2009. https://digitalcommons.usu.edu/etd/499.

Full text
Abstract:
This thesis explores software algorithm for implementing a people counting and matching system to be used on a bus. A special camera is used, known as a texel camera, that generates depth and color information for a scene. This added information greatly facilitates both the tasks of matching and counting. Although people counting is a relatively mature field, there are several situations in which current technologies are not able to count correctly. Several of these difficult situations are tested with 82% counting accuracy. The idea of matching people on a bus is also developed. The goal is not to identify a specific person on a bus, but to find the time that a specific person is on the bus, and what bus stops were used. There are several aspects of this matching problem that differentiate it from other classification tasks that have been researched. In this thesis, multiple measurements are used to classify a person and sequence estimation techniques explored. The techniques developed classify with 92% accuracy, even with a relatively large number of people on a bus.
APA, Harvard, Vancouver, ISO, and other styles
3

Haddad, George. "AUTOMATIC PARTICLE COUNTING USING AN ACOUSTIC TRANSDUCER." Master's thesis, University of Central Florida, 2005. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/2646.

Full text
Abstract:
Aerosol particle detection and determination finds important applications in the commercial, military and aerospace sectors. Monitoring of clean room environments, and spacecraft integration and check out facilities are some of the most important aplications. In the early days test filters were examined with a microscope to determine the number and size of particles that were being removed from air. Today, most of the commercially available clean room airborne particle counters work on a light scattering principle. They are referred to as Optical Particle Counter or OPC. Essentially, they utilize a very bright laser light source to illuminate the particles. The burst of light energy is converted into a pulse of electrical energy. By measuring the height of the signal and counting the number of pulses the sizes and quantities of particles could thus be determined. The microscope and the OPC techniques have their limitations. The microscope technique is a post contamination assessment technique and the OPC is costly, hard to maintain, lack in counting efficiency and is not mobile. This experimental study demonstrates a novel and inexpensive particle detection technique which is based on the acoustic signature of airborne particles as they are accelerated through an acoustic transducer. The transducer consists of an inlet converging nozzle, a capillary tube and an expansion section. If the air is laden with particles, as the flow accelerates through the inlet, the particles cannot follow the large change in velocity due to their inertia. Vortices are generated as air flows over the particles prior to entering the capillary. These vortices are believed to generate sound, which is amplified by the transducer acting as an organ pipe. This sound emission if measured contains frequencies that are harmonics of the natural frequency of the transducer's air column. Results show how the frequency content of the acoustic signature relates to the fundamental frequency of the transducer's air column. The transducer is able to detect micron sized particles ( 5 to 50 micron) and the sound intensity is a function of the flowrate but not of particle size. This study also shows the ability of the transducer to determine particle concentration as low as few parts per liter (ppl) and compare the data with that obtained from a commercially available aerodynamic particle sizer.
M.S.M.E.
Department of Mechanical, Materials and Aerospace Engineering;
Engineering and Computer Science
Mechanical Engineering
APA, Harvard, Vancouver, ISO, and other styles
4

Wheatley, Joseph. "Automated Bayesian layer counting of ice cores." Thesis, University of Sheffield, 2015. http://etheses.whiterose.ac.uk/8856/.

Full text
Abstract:
The polar ice sheets hold a continuous record of climatic and environmental information, in the composition and concentrations of various chemicals, particles and gasses, extending back over hundreds of thousands of years. In order to interpret these data we must first learn about the underlying relationship between depth and age. Ice cores are vertical samples of the ice sheets. Some signals measured from them have annual cycles which show as quasi-periodic seasonality; layer counting uses this periodicity to obtain a chronology for the core. This is currently achieved manually, which is time-consuming and open to inconsistency and human error. We present a method to standardise an ice core signal, isolating its seasonality, and to split it into sections with well-defined cycle counts and those with uncertain cycle counts. We show how the uncertain sections can be presented for manual assessment, and describe how the possible reconstructions can be identified and assigned probabilities based on their implied cycle lengths. We also develop a multivariate fully Bayesian approach, which models the signals as phase-shifted sine waves with continuously varying mean and amplitude. We use Markov chain Monte Carlo algorithms to enable inference about the age-depth relationship, and specifically the number of years covered by a particular section of ice core, including quantitative assessment of the uncertainty involved. We provide examples, applying our methods to several chemistry signals measured from ice cores from Greenland and Antarctica.
APA, Harvard, Vancouver, ISO, and other styles
5

Hou, Yali, and 侯亚丽. "Video-based people counting and crowd segmentation." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2011. http://hub.hku.hk/bib/B47032339.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Riley, M. "Finite automata, machines and counting problems in bounded arithmetic." Thesis, University of Manchester, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.383202.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Horký, Michal. "Rychlejší než grep pomocí čítačů." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445473.

Full text
Abstract:
Vyhledávání regulárních výrazů má ve vývoji softwaru nezastupitelné místo. Rychlost vyhledávání může ovlivnit použitelnost softwaru, a proto je na ni kladen velký důraz. Pro určité druhy regulárních výrazů mají standardní přístupy pro vyhledávání vysokou složitost. Kvůli tomu jsou náchylné k útokům založeným na vysoké náročnosti vyhledávání regulárních výrazů (takzvané ReDoS útoky). Regulární výrazy s omezeným opakováním, které se v praxi často vyskytují, jsou jedním z těchto druhů. Efektivní reprezentace a rychlé vyhledávání těchto regulárních výrazů je možné s použítím automatu s čítači. V této práci představujeme implementaci vyhledávání regulárních výrazů založeném na automatech s čítači v C++. Vyhledávání je implementováno v rámci RE2, rychlé moderní knihovny pro vyhledávání regulárních výrazů. V práci jsme provedli experimenty na v praxi používaných regulárních výrazech. Výsledky experimentů ukázaly, že implementace v rámci nástroje RE2 je rychleší než původní implementace v jazyce C#.
APA, Harvard, Vancouver, ISO, and other styles
8

León, Izeppi Edgar David de. "An automatic passenger counting system at a small transit property." Thesis, Virginia Polytechnic Institute and State University, 1985. http://hdl.handle.net/10919/91129.

Full text
Abstract:
This thesis describes the work done on the first phase of the implementation of an Automatic Passenger Counting (APC) system at the Roanoke Valley-Metro transit property. The primary objective of the first phase of this project was to create a software program to decode, edit, analyze and store the data from the APC. The second phase of the project will make reports by aggregating data from the work done in the first phase. The basis for efficient management of operations in transit properties is having accurate and reliable information on transit ridership, fare revenue, and schedule adherence for individual routes and for the transit system as a whole. Data from passenger counts are used to identify peak load points and quantify service demands. Fare revenue data are needed to analyze the systems productivity, and the time checks are essential to monitor and control the scheduling activities. The actual data collection efforts at Valley-Metro have proven to be obsolete, unreliable and very expensive. The new APC system offers the management at Valley-Metro with a new and powerful tool that will enhance their capability to make better decisions when allocating the service needs.
M.S.
APA, Harvard, Vancouver, ISO, and other styles
9

D'Souza, Aswin Cletus. "Automated counting of cell bodies using Nissl stained cross-sectional images." [College Station, Tex. : Texas A&M University, 2007. http://hdl.handle.net/1969.1/ETD-TAMU-2035.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Shankar, Sanjeev. "Analysis of microprocessor based vehicular instrumentation and automatic passenger counting systems." Thesis, Virginia Tech, 1985. http://hdl.handle.net/10919/41570.

Full text
Abstract:
Information on transit ridership and operations is a necessary condition as far as efficient management is considered. Transit managements on the acquisition of such a data base can confirm predictions about scheduling, receive warnings about potential dangers and plan future operations on a much broader and precise base. Data from passenger counts provide essential information to marketing and scheduling personnel by identifying peak load-points and the such. Using manual collection methods for such data is expensive and prone to human errors. Automatic Passenger Counting (APC) systems are viewed as an improved and economical technique for data collection. Such systems monitor the progress of a particular vehicle -- its position, number of passengers getting on and off, times and distances between stops -- and make this data available for processing. These are state of the art systems, mostly microprocessor based and often embracing a modular structure. The Red Pine system is such a system with different dedicated modules for each bank of tasks. Multitasking software is seen to be an powerful tool for such systems and simplify the architecture of the system hardware. A CHMOS hardware design, suited for multitasking softwares is provided. Interfacing software for the Red Pine system has been developed and is explained. Debugging testing and simulation of the Red Pine hardware is detailed. Modifications have been recorded and improvements suggested.


Master of Science
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Counting automaton"

1

Lidman, J. Kirby. Iowa automated aircraft activity counting, 1987-1988. [Des Moines]: Iowa Dept. of Transportation, Planning & Research Division, Office of Transportation Research, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lidman, J. Kirby. Iowa automated aircraft activity counting, 1988-1989. [Des Moines]: Iowa Dept. of Transportation, Planning & Research Division, Office of Transportation Research, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Lidman, J. Kirby. Iowa automated aircraft activity counting, 1985-1987. [Iowa]: Dept. of Transportation, Planning & Research Division, Office of Transportation Research, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Great Britain. Working Group on Automated Vote Counting. Report of the Working Group on Automated Vote Counting. [London]: Home Office, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Pippy, John Herbert Charles. A field guide to counting and measuring salmonids using the Silhouette Imaging and Counting System (SIACS). St. John's, Nfld: Science Branch, Dept. of Fisheries and Oceans, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Andrews, D. J. An automated NaI 'well' counting system for the determination of radiocaesium. Lowestoft: Ministry of Agriculture, Fisheries and Food, Directorate of Fisheries Research, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Boyle, Daniel K. Passenger counting technologies and procedures. Washington, D.C: National Academy Press, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Mauceri, Vince C. APC, automatic passenger counting system: The Hamilton Street Railway Technology Fair, Canadian Urban Transit Association Fall Meeting, November 6th-10, 1988, Hamilton, Ontario, Canada. [Hamilton]: Hamilton Street Railway Co., 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kraberg, Alexandra, Katja Metfies, and Rowena Stern. Sampling, Preservation and Counting of Samples I: Phytoplankton. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780199233267.003.0009.

Full text
Abstract:
This chapter reviews phytoplankton sampling and analysis techniques, discussing them in light of their advantages and disadvantages. Different sampling methods have varying levels of precision and accuracy. This means that they affect the ways in which individual data sets can be interpreted, and methods therefore have to be kept consistent within time series to avoid creating artefacts. The discussions cover qualitative and semi-quantitative methods, quantitative methods, sample analysis, automated/semi-automated systems, and molecular methodologies. None of the methods are universally applicable but depend on the right set of tools and the scientific and financial context in which they are used. Molecular techniques hold great promise particularly for taxa that cannot be identified by routine microscopical techniques.
APA, Harvard, Vancouver, ISO, and other styles
10

Ibrahim, Saleh Hassan. Computer control of the Automatic Gamma Well counting system. 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Counting automaton"

1

Rich, Craig A., and Giora Slutzki. "The complexity of a counting finite-state automaton." In Lecture Notes in Computer Science, 225–39. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/3-540-50517-2_83.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Brassard, Gilles, Peter HØyer, and Alain Tapp. "Quantum counting." In Automata, Languages and Programming, 820–31. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0055105.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Campbell, Matthew. "Automatic Reference Counting." In Swift Quick Syntax Reference, 147–51. Berkeley, CA: Apress, 2014. http://dx.doi.org/10.1007/978-1-4842-0439-9_49.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Alberti, Francesco, Silvio Ghilardi, and Elena Pagani. "Counting Constraints in Flat Array Fragments." In Automated Reasoning, 65–81. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-40229-1_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Amini, Omid, Fedor V. Fomin, and Saket Saurabh. "Counting Subgraphs via Homomorphisms." In Automata, Languages and Programming, 71–82. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02927-1_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Choffrut, C., and M. P. Schutzenberger. "Counting with rational functions." In Automata, Languages and Programming, 79–88. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/3-540-16761-7_57.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

de Luca, Aldo, and Stefano Varricchio. "On non-counting regular classes." In Automata, Languages and Programming, 74–87. Berlin, Heidelberg: Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/bfb0032023.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Seidl, Helmut, Thomas Schwentick, Anca Muscholl, and Peter Habermehl. "Counting in Trees for Free." In Automata, Languages and Programming, 1136–49. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-27836-8_94.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Goldberg, Leslie Ann, Rob Gysel, and John Lapinskas. "Approximately Counting Locally-Optimal Structures." In Automata, Languages, and Programming, 654–65. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47672-7_53.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ge, Cunjing, Feifei Ma, Tian Liu, Jian Zhang, and Xutong Ma. "A New Probabilistic Algorithm for Approximate Model Counting." In Automated Reasoning, 312–28. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-94205-6_21.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Counting automaton"

1

Yang, Sudi, and Guoqing Gu. "Region counting algorithm based on region labeling automaton." In International Symposium on Multispectral Image Processing and Pattern Recognition, edited by Jianguo Liu, Kunio Doi, Patrick S. P. Wang, and Qiang Li. SPIE, 2007. http://dx.doi.org/10.1117/12.748099.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Cho, Myoung-Ock, Hyo Mi Chang, Yeon Gyu Yu, Hwataik Han, and Jung Kyung Kim. "Selective and Automated Detection of Airborne Asbestos Fibers Using Chrysotile-Adhesive Protein and High-Throughput Microscopy (HTM)." In ASME 2011 International Mechanical Engineering Congress and Exposition. ASMEDC, 2011. http://dx.doi.org/10.1115/imece2011-63721.

Full text
Abstract:
There are several methods to detect asbestos including phase contrast microscopy (PCM), polarized light microscopy, X-ray diffraction, and electron microscopy. Although the PCM method is widely used due to its simple process and relatively low cost, it is a time-consuming and laborious process that is manually performed by a human counter. We developed a high-throughput microscopy (HTM) system for automated counting of airborne asbestos fibers to automate the conventional PCM method. Our results show that automatic image acquisition by synchronization of charge-coupled device (CCD) camera with movement of stages, and image analysis using image processing software, significantly reduced time consumption and labor. In this study, we used DksA chrysotile-adhesive protein for the selective detection of asbestos. DksA, known as the protein that specifically attaches to chrysotile, was extracted from Escherichia coli through a recombinant protein technique. We tried to detect chrysotile selectively from other fibers or particles, and we developed a highly selective and automated low-cost device for automated identification and enumeration of airborne asbestos fibers based on the HTM method.
APA, Harvard, Vancouver, ISO, and other styles
3

Sexton, Graham G., and Xiaowei Zhang. "Automated counting of pedestrians." In Visual Communications and Image Processing '94, edited by Aggelos K. Katsaggelos. SPIE, 1994. http://dx.doi.org/10.1117/12.186027.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Diep, Daniel, Isabelle Marc, Herve Nonon, Jonathan Delhom, and Frederic Roure. "Smartphones for automatic shad counting." In 2013 International Conference on Systems, Signals and Image Processing (IWSSIP). IEEE, 2013. http://dx.doi.org/10.1109/iwssip.2013.6623479.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Sexton, G. "Advances in automated pedestrian counting." In European Convention on Security and Detection. IEE, 1995. http://dx.doi.org/10.1049/cp:19950479.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Barbedo, Jayme. "Automatic Object Counting In Neubauer Chambers." In XXXI Simpósio Brasileiro de Telecomunicações. Sociedade Brasileira de Telecomunicações, 2013. http://dx.doi.org/10.14209/sbrt.2013.224.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Muthukumar, S., W. Sherine Mary, S. K. Abijith, P. Haribalan, and S. Sakthivel. "Sensor Based Automated People Counting System." In 2018 Second International Conference on Intelligent Computing and Control Systems (ICICCS). IEEE, 2018. http://dx.doi.org/10.1109/iccons.2018.8662887.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Kobayashi, Takumi, Tadaaki Hosaka, Shu Mimura, Takashi Hayashi, and Nobuyuki Otsu. "HLAC Approach to Automatic Object Counting." In 2008 ECSIS Symposium on Bio-Inspired Learning and Intelligent Systems for Security (BLISS). IEEE, 2008. http://dx.doi.org/10.1109/bliss.2008.21.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Yan, Wenzhong, and Shuqun Shen. "An Automatic Counting Algorithm for Chromosomes." In 2008 2nd International Conference on Bioinformatics and Biomedical Engineering (ICBBE '08). IEEE, 2008. http://dx.doi.org/10.1109/icbbe.2008.956.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Toh, Y. H., T. M. Ng, and B. K. Liew. "Automated Fish Counting Using Image Processing." In 2009 International Conference on Computational Intelligence and Software Engineering. IEEE, 2009. http://dx.doi.org/10.1109/cise.2009.5365104.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Counting automaton"

1

Bigu, J. Design and operation of an automated beta-particle counting system for the measurement of 220Rn (and 222Rn) progeny. Natural Resources Canada/CMSS/Information Management, 1990. http://dx.doi.org/10.4095/328732.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Arhin, Stephen, Babin Manandhar, Hamdiat Baba Adam, and Adam Gatiba. Predicting Bus Travel Times in Washington, DC Using Artificial Neural Networks (ANNs). Mineta Transportation Institute, April 2021. http://dx.doi.org/10.31979/mti.2021.1943.

Full text
Abstract:
Washington, DC is ranked second among cities in terms of highest public transit commuters in the United States, with approximately 9% of the working population using the Washington Metropolitan Area Transit Authority (WMATA) Metrobuses to commute. Deducing accurate travel times of these metrobuses is an important task for transit authorities to provide reliable service to its patrons. This study, using Artificial Neural Networks (ANN), developed prediction models for transit buses to assist decision-makers to improve service quality and patronage. For this study, we used six months of Automatic Vehicle Location (AVL) and Automatic Passenger Counting (APC) data for six Washington Metropolitan Area Transit Authority (WMATA) bus routes operating in Washington, DC. We developed regression models and Artificial Neural Network (ANN) models for predicting travel times of buses for different peak periods (AM, Mid-Day and PM). Our analysis included variables such as number of served bus stops, length of route between bus stops, average number of passengers in the bus, average dwell time of buses, and number of intersections between bus stops. We obtained ANN models for travel times by using approximation technique incorporating two separate algorithms: Quasi-Newton and Levenberg-Marquardt. The training strategy for neural network models involved feed forward and errorback processes that minimized the generated errors. We also evaluated the models with a Comparison of the Normalized Squared Errors (NSE). From the results, we observed that the travel times of buses and the dwell times at bus stops generally increased over time of the day. We gathered travel time equations for buses for the AM, Mid-Day and PM Peaks. The lowest NSE for the AM, Mid-Day and PM Peak periods corresponded to training processes using Quasi-Newton algorithm, which had 3, 2 and 5 perceptron layers, respectively. These prediction models could be adapted by transit agencies to provide the patrons with accurate travel time information at bus stops or online.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Counting automaton' for particular source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography