4345 search results - page 321 / 869 » Temporal Constraint Networks |
158
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We propose a new template-based approach for viewinvariant recognition of body poses, based on geometric constraints derived from the motion of body point triplets. In addition to...
177
click to vote
ICIP
1994
IEEE
16 years 8 months ago
1994
IEEE
Motion information is essential in many computer vision and video analysis tasks. Since MPEG is still one of the most prevalent formats for representing, transferring and storing ...
232
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
133
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The increased fluidity and agility of organizations demand the smooth mediation of information technology (IT) between user and task. As rigid hierarchies are giving way to open, ...
191
Voted
SADFE
2008
IEEE
16 years 1 months ago
2008
IEEE
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...