We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
— Time-of-flight range sensors and passive stereo have complimentary characteristics in nature. To fuse them to get high accuracy depth maps varying over time, we extend traditi...
Jiejie Zhu, Liang Wang 0002, Jizhou Gao, Ruigang Y...
One of the important aspects in digital video applications is spatial and temporal characteristic. A very little progress has been achieved on spatiotemporal modeling of video dat...
Archana M. Rajurkar, R. C. Joshi, Santanu Chaudhar...
We propose a new maximum margin discriminative learning algorithm here for classification of temporal signals. It is superior to conventional HMM in the sense that it does not nee...