1888 search results - page 270 / 378 » Proof theory and computational analysis |
104
click to vote
DSN
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
120
click to vote
ICVS
1999
Springer
15 years 6 months ago
1999
Springer
Tracking in 3D with an active vision system depends on the performance of both motor control and vision algorithms. Tracking is performed based on different visual behaviors, name...
121
click to vote
EWHCI
1993
15 years 5 months ago
1993
The Wizard of Oz (WOz) technique is an experimental evaluation mechanism. It allows the observation of a user operating an apparently fully functioning system whose missing service...
104
click to vote
ECCV
1992
Springer
15 years 5 months ago
1992
Springer
Projective distortion of surface texture observed in a perspective image can provide direct information about the shape of the underlying surface. Previous theories have generally...
117
click to vote
AAAI
1990
15 years 2 months ago
1990
Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains difficult. When a model is created fo...