1536 search results - page 79 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
ICSOC
2005
Springer
15 years 3 months ago
2005
Springer
The diffusion of service-oriented computing is today heavily influencing many software development and research activities. Despite this, service-oriented computing is a relative...
ISIPTA
2003
IEEE
15 years 3 months ago
2003
IEEE
Set-valued estimation offers a way to account for imprecise knowledge of the prior distribution of a Bayesian statistical inference problem. The set-valued Kalman filter, which p...
ACII
2007
Springer
15 years 4 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 ...
ICONS
2009
IEEE
15 years 4 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
CIVR
2007
Springer
15 years 4 months ago
2007
Springer
This paper introduces a faceted model of image semantics which attempts to express the richness of semantic content interpretable within an image. Using a large image data-set fro...