9110 search results - page 1574 / 1822 » Formally-Based Design Evaluation |
126
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
In this paper, we describe progress in research designed to explore the effect of the combination of avatars' visual fidelity and users' anticipated future interaction o...
136
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
Fairness is an essential requirement of any operating system scheduler. Unfortunately, existing fair scheduling algorithms are either inaccurate or inefficient and non-scalable fo...
145
click to vote
KDD
2009
ACM
16 years 5 months ago
2009
ACM
Many scalable data mining tasks rely on active learning to provide the most useful accurately labeled instances. However, what if there are multiple labeling sources (`oracles...
119
click to vote
KDD
2009
ACM
16 years 5 months ago
2009
ACM
In this study, we formalize a multi-focal learning problem, where training data are partitioned into several different focal groups and the prediction model will be learned within...
143
click to vote
MOBISYS
2009
ACM
16 years 5 months ago
2009
ACM
To ensure sustainable operations of wireless sensor systems, environmental energy harvesting has been regarded as the right solution for long-term applications. In energy-dynamic ...