2203 search results - page 178 / 441 » Temporal Abstract Interpretation |
135
click to vote
LISP
2008
15 years 4 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
153
click to vote
TOPNOC
2008
15 years 3 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
144
click to vote
JIIS
2002
15 years 3 months ago
2002
Abstract. We propose a novel probabilistic method, based on latent variable models, for unsupervised topographic visualisation of dynamically evolving, coherent textual information...
239
click to vote
SOFTCOMP
2010
15 years 2 months ago
2010
Abstract This paper presents an extension of MOVICAB-IDS, a Hybrid Intelligent Intrusion Detection System characterized by incorporating temporal control to enable real-time proces...
192
click to vote
ACII
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. This paper presents an expressive gesture model that generates communicative gestures accompanying speech for the humanoid robot Nao. The research work focuses mainly on ...