1511 search results - page 225 / 303 » Relational Parametricity for Computational Effects |
170
click to vote
PERSUASIVE
2009
Springer
16 years 26 days 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...
179
click to vote
ISLPED
2009
ACM
16 years 25 days 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...
177
click to vote
ICASSP
2008
IEEE
16 years 23 days 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...
150
click to vote
ICMCS
2008
IEEE
16 years 23 days 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...
177
click to vote
RTCSA
2008
IEEE
16 years 21 days 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 ...