2203 search results - page 123 / 441 » Temporal Abstract Interpretation |
154
Voted
MIR
2006
ACM
15 years 9 months ago
2006
ACM
Scalable approaches to video content classification are limited by an inability to automatically generate representations of events ode abstract temporal structure. This paper pre...
169
Voted
PCM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. When a block is lost due to a transmission error in compressed bitstream, conventional temporal error concealment schemes try to conceal the lost block by recovering its ...
116
Voted
HAIS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Accurate and swift responses are crucial to Intrusion Detection Systems (IDSs), especially if automatic abortion mechanisms are running. In keeping with this idea, this w...
158
Voted
GLVLSI
2007
IEEE
15 years 7 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
157
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...