Sciweavers

5866 search results - page 354 / 1174
» An e-Process Selection Model
Sort
View
ATAL
2009
Springer
16 years 1 months ago
A socio-emotional model of impoliteness for non-player characters
Due to its important role in dialogue, politeness has been widely studied both from a theoretical point of view and at a practical level in virtual agents. However, few attention ...
Sabrina Campano, Nicolas Sabouret
ICPR
2008
IEEE
16 years 1 months ago
A Mixed Markov model for change detection in aerial photos with large time differences
In the paper we propose a novel multi-layer Mixed Markov model for detecting relevant changes in registered aerial images taken with significant time differences. The introduced ...
Csaba Benedek, Tamás Szirányi
ICMCS
2007
IEEE
163views Multimedia» more  ICMCS 2007»
16 years 1 months ago
Using Deformable Surface Models to Derive a DCT-Like 2D Transform
This paper introduces a ¢¤£ discrete, non-separable transform for image processing, which can be regarded as a combination of the well known Discrete Cosine Transform (DCT) wit...
Michail Krinidis, Nikos Nikolaidis, Ioannis Pitas
MTV
2006
IEEE
138views Hardware» more  MTV 2006»
16 years 21 days ago
Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
Marc Herbstritt, Bernd Becker, Christoph Scholl
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
16 years 21 days ago
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
José García-Fanjul, Claudio de la Ri...