319 search results - page 11 / 64 » Dynamically inferring temporal properties |
ICIP
2007
IEEE
14 years 11 months ago
2007
IEEE
Temporal or dynamic textures (DT's) are video sequences that are spatially repetitive and temporally stationary. DT's are temporal analogs of the well known spatial stil...
TODAES
2008
13 years 9 months ago
2008
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
AVBPA
2005
Springer
13 years 11 months ago
2005
Springer
There has been a flurry of works on video sequence-based face recognition in recent years. One of the hard problems in this area is how to effectively combine the facial configu...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
: In this paper we present several algorithmic techniques for inferring the structure of a company when only a limited amount of information is available. We consider problems with...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...