MVA
1994
13 years 5 months ago
1994
The idea of photometric stereo is to serially vary the direction of incident illumination on the state of the holded view point, but it can locally reconstruct only the front surf...
ATVA
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...