17688 search results - page 3359 / 3538 » Data Set Balancing |
310
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
326
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
To improve the performance of a single application on Chip Multiprocessors (CMPs), the application must be split into threads which execute concurrently on multiple cores. In mult...
187
click to vote
MOBISYS
2009
ACM
16 years 7 months ago
2009
ACM
Establishing trust between a group of individuals remains a difficult problem. Prior works assume trusted infrastructure, require an individual to trust unknown entities, or provi...
147
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Identifying the function of problem behavior can lead to the development of more effective interventions. One way to identify the function is through functional behavior assessmen...
168
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
We present an observational study that was conducted to guide the design and development of technologies to support information flow during nurses' shift change in a hospital...