3965 search results - page 343 / 793 » Effectivity of Regular Spaces |
187
click to vote
PERSUASIVE
2009
Springer
16 years 1 months ago
2009
Springer
We present an empirical study of the effect of a computer agent designed to engage a user in a persuasive counseling dialogue on attitudes towards regular exercise. We used two ma...
198
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a novel technique for image inpainting, the problem of filling-in missing image parts. Image inpainting is ill-posed and we adopt a probabilistic model-based approach ...
187
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
204
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
170
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— A cellular distributed antenna system with randomly located distributed antenna elements (AEs) and mobile users is considered. The AEs are connected to the base station...