1716 search results - page 67 / 344 » Generating models for temporal representations |
220
Voted
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
118
Voted
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...
129
Voted
IWPC
1997
IEEE
15 years 7 months ago
1997
IEEE
System migration presents a myriad of challenges in software maintenance. The user interfaces of interactive systems can undergo significant change during migration. Program unde...
155
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper, we propose a new vector quantization method to create video thumbnail. In particular, we employ video time density function (VTDF) to explore the temporal character...
116
Voted
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
Dynamic planning concerns the planning and execution of actions in a dynamic, real world environment. Its goal is to take into account changes generated by unpredicted events occur...