Filters
Operation L-INSERT on Factor Automaton
The factor automaton is used for time-optimal searching for substrings in text. In general, if the text is changed the new factor automaton has to be constructed. When the text change is simple enough we can change the orig...
JC - Počítačový hardware a software
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Bisimulation equivalence and regularity for real-time one-counter automata
A one-counter automaton is a pushdown automaton with a singleton stack alphabet, where stack emptiness can be tested; it is a real-time automaton if it contains of equivalenceand regularity (i.e. semantic finitenes...
IN - Informatika
- 2014 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Stochastic Real-Time Games with Qualitative Timed Automata Objectives
We consider two-player stochastic games over real-time probabilistic processes where the winning objective is specified by a timed automaton. The goal of player Box is to play in such a way that the play (a timed w...
IN - Informatika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
Stochastic Real-Time Games with Qualitative Timed Automata Objectives
We consider two-player stochastic games over real-time probabilistic processes where the winning objective is specified by a timed automaton. The goal of player Box is to play in such a way that the play (a timed w...
IN - Informatika
- 2010 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Tree compression pushdown automaton
of the automaton takes linear time and space with respect to the length n of the input tree(sA new kind of a deterministic pushdown automaton, called a Tree Compression Automaton, is presented. The tree compressio...
IN - Informatika
- 2012 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Stochastic Timed Automata Simulator
In the paper basic idea of timed automata simulator is introduced. The simulator should be the extension of the UPPAAL tool (tool for modeling, simulation and verification systems) simulator. After basic definition for clarifying notion is p...
JA - Elektronika a optoelektronika, elektrotechnika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
The Test Controller Model Based on The Timed Automaton
is explained.The formal tool - the timed automaton - is used as a suitable tool for test controller model. In the end of paper there is a simple example of timed automaton, which......
JC - Počítačový hardware a software
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Lambda-Confluence Is Undecidable for Clearing Restarting Automata
for a clearing restarting automaton can be solved nondeterministically in quadratic timeClearing restarting automata are based on contextual rewriting. A word w is accepted by an automaton of this type if there is a comput...
IN - Informatika
- 2013 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Eikonal equation based cellular automaton for a pedestrian evacuation problem
the shortest time needed for a pedestrian to reach the exit. In the cellular automatonWe propose a two-dimensional cellular automaton (CA) for the simulation of pedestrian evacuation based on the solution of the Eikonal eq...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Eikonal equation based cellular automaton for a pedestrian evacuation problem
the shortest time needed for a pedestrian to reach the exit. In the cellular automatonWe propose a two-dimensional cellular automaton (CA) for the simulation of pedestrian evacuation based on the solution of the Eikonal eq...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 out of 149 095