Sciweavers

3047 search results - page 158 / 610
» A Temporal Consensus Model
Sort
View
94
Voted
FMSD
2000
86views more  FMSD 2000»
14 years 10 months ago
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
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...
Nikolaj Bjørner, Anca Browne, Michael Col&o...
NGC
2000
Springer
124views Communications» more  NGC 2000»
14 years 10 months ago
Temporal Disjunctive Logic Programming
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
Manolis Gergatsoulis, Panos Rondogiannis, Themis P...
75
Voted
PAMI
2010
188views more  PAMI 2010»
14 years 8 months ago
Spatial-Temporal Fusion for High Accuracy Depth Maps Using Dynamic MRFs
— 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...
HICSS
2008
IEEE
105views Biometrics» more  HICSS 2008»
15 years 4 months ago
Video Content Description Using Fuzzy Spatio-temporal Relations
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...
ICPR
2006
IEEE
15 years 11 months ago
A maximum margin discriminative learning algorithm for temporal signals
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...
Wenjie Xu, Jiankang Wu, Zhiyong Huang