563 search results - page 3 / 113 » A Typing Scheme for Behavioural Models |
ACII
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. In this paper we present a model of facial behaviour encompassing interpersonal relations for an Embodied Conversational Agent (ECA). Although previous solutions of this ...
FOSSACS
2010
Springer
13 years 9 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
It is to date an open question to know how the updating methods affect the evolution of a multi-agent system. This question has been tackled for various complex systems such as ce...
HICSS
2000
IEEE
13 years 10 months ago
2000
IEEE
In this paper, we investigate the e ectiveness of applying type-II hybrid ARQ schemes to the transmission of MPEG-2 encoded video streams over xed wireless links in broadband xed ...
AAAI
2012
11 years 8 months ago
2012
Non-intrusive appliance load monitoring is the process of disaggregating a household’s total electricity consumption into its contributing appliances. In this paper we propose a...