268 search results - page 38 / 54 » The Truth System: Can a System of Lying Processes Stabilize |
FORTE
1994
13 years 9 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
VMV
2008
13 years 9 months ago
2008
We present a semi-interactive system for advanced video processing and editing. The basic idea is to partially recover planar regions in object space and to exploit this minimal p...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Recent results seem to cast some doubt over the assumption that improvements in fused recognition accuracy for speaker recognition systems based on different acoustic features are...
IJCNN
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper describes the optimal tuning for the output limits of the power system stabilizer (PSS), which can improve the system damping performance immediately following a large d...
MVA
1996
13 years 9 months ago
1996
automatically updated during the matching process, This paper describes a real-time tracking system which detects an object entering into the field of view of camera and executes t...