3335 search results - page 64 / 667 » Grid result checking |
137
click to vote
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
104
click to vote
GCC
2003
Springer
15 years 7 months ago
2003
Springer
Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary func...
125
click to vote
SCALESPACE
1997
Springer
15 years 6 months ago
1997
Springer
We developed a method that transforms a polygonal representation of an object into a voxel representation on a 3D regular grid. By applying scale-space theory we derived expression...
106
click to vote
DGCI
2006
Springer
15 years 5 months ago
2006
Springer
A sequential algorithm for computing the distance map using distances based on neighbourhood sequences (of any length) in the 2D square grid; and 3D cubic, face-centered cubic, and...
TCS
2008
15 years 1 months ago
2008
A two-dimensional word is a function on Z2 with finite number of values. The main problem we are interested in is periodicity of twodimensional words satisfying some local conditi...