TCS
2008
13 years 4 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...
COMPOS
1997
Springer
13 years 8 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
ICSM
1998
IEEE
13 years 9 months ago
1998
IEEE
In this paper, we describe the reengineering of a deteriorated object-oriented industrial program written in C++. The main problem of the program was misplaced code, most often fu...
ICCV
2003
IEEE
14 years 6 months ago
2003
IEEE
We address the problem of using external rotation information with uncalibrated video sequences. The main problem addressed is, what is the benefit of the orientation information ...