Sciweavers

Share
GCC
2003
Springer

Some Grid Automata for Grid Computing

9 years 4 months ago
Some Grid Automata for Grid Computing
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique to check this model whether or not satisfy this property. From above process, some grid pattern recognition problem could be transferred to Model checking problem. According to logic method, we get some grid pattern recognition problem couldn’t be solved in decidable manner.
Hao Shen, Yongqiang Sun
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where GCC
Authors Hao Shen, Yongqiang Sun
Comments (0)
books