1511 search results - page 225 / 303 » Relational Parametricity for Computational Effects |
147
click to vote
PERSUASIVE
2009
Springer
15 years 11 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...
152
click to vote
ISLPED
2009
ACM
15 years 11 months ago
2009
ACM
Many techniques for power management employed in advanced RTL synthesis tools rely explicitly or implicitly on observability don’t-care (ODC) conditions. In this paper we presen...
147
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Recent work in the emerging field of compressive sensing indicates that, when feasible, judicious selection of the type of distortion induced by measurement systems may dramatica...
130
click to vote
ICMCS
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we specifically propose the Weber-Fechner Law-based human attention model for semantic scene analysis in movies. Different from traditional video processing techniq...
149
click to vote
RTCSA
2008
IEEE
15 years 11 months ago
2008
IEEE
Real-time systems typically have to satisfy complex requirements, mapped to the task attributes, eventually guaranteed by the underlying scheduler. These systems consist of a mix ...