2373 search results - page 176 / 475 » Modelling Facial Behaviours |
146
Voted
EUROMICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
169
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
160
Voted
CHINZ
2006
ACM
15 years 10 months ago
2006
ACM
Previous work discussed a model of cognitive distance with the novel concepts of "tech bias", "velocity" and "inertia". This paper examines the human...
158
Voted
FORTE
2007
15 years 7 months ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
143
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
The idea that internal models of the world might be useful has generally been rejected by embodied AI for the same reasons that led to its rejection by behaviour based robotics. Th...