2373 search results - page 434 / 475 » Modelling Facial Behaviours |
IWANN
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. In this paper we adopt a temporal coding approach to neuronal modeling of the visual cortex, using oscillations. We propose a hierarchy of three processing modules corres...
TAPSOFT
1997
Springer
15 years 4 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
ACII
2007
Springer
15 years 3 months ago
2007
Springer
The modelling of affective behaviour and appropriate bodily expression to make synthetic characters more believable becomes important in many types of applications such as games, s...
104
click to vote
GLVLSI
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
105
click to vote
FORMATS
2009
Springer
15 years 3 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...