1633 search results - page 194 / 327 » On the Verification of Temporal Properties |
86
Voted
ICIP
2005
IEEE
16 years 2 months ago
2005
IEEE
A perceptual human-machine interface based on visual appearence of hand movements is presented. Gestures are defined as the temporal evolution of 3D poses the of user's hand....
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
Textural appearance of many real word materials is not static but shows progress in time. If such a progress is spatially and temporally homogeneous these materials can be represe...
110
click to vote
ICCD
2006
IEEE
15 years 9 months ago
2006
IEEE
—This paper presents a system-level Network-on-Chip modeling framework that integrates transaction-level model and analytical wire model for design space exploration. It enables ...
90
Voted
IAT
2008
IEEE
15 years 7 months ago
2008
IEEE
From an external perspective, cognitive agent behaviour can be described by specifying (temporal) correlations of a certain complexity between stimuli (input states) and (re)actio...
118
Voted
LFCS
2009
Springer
15 years 5 months ago
2009
Springer
We extend the alternating-time temporal logics ATL and ATL with strategy contexts and memory constraints: the first extension makes strategy quantifiers to not “forget” the s...