3047 search results - page 61 / 610 » A Temporal Consensus Model |
TACAS
2004
Springer
15 years 3 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
FSEN
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...
124
click to vote
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Previous analysis of content fingerprints has mainly focused on the case of independent and identically distributed fingerprints. Practical fingerprints, however, exhibit corre...
ADC
2000
Springer
15 years 2 months ago
2000
Springer
Advanced object-oriented applications require the management of schema versions, in order to cope with changes in the structure of the stored data. Two types of versioning have be...
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
We present a system for the estimation of unconstrained
3D human upper body movement from multiple cameras.
Its main novelty lies in the integration of three components:
single-...