9110 search results - page 160 / 1822 » Formally-Based Design Evaluation |
120
Voted
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Within the last two decades, Receiver Operating Characteristic (ROC) Curves have become a standard tool for the analysis and comparison of classifiers since they provide a conveni...
155
click to vote
ACMACE
2008
ACM
15 years 7 months ago
2008
ACM
In this paper, we present Power Agent - a pervasive game designed to encourage teenagers and their families to reduce energy consumption in the home. The idea behind this mobile p...
133
Voted
ASPDAC
2005
ACM
15 years 7 months ago
2005
ACM
— As microprocessor technology continues to scale into the nanometer regime, recent studies show that interconnect delay will be a limiting factor for performance, and multiple c...
131
click to vote
LREC
2010
15 years 6 months ago
2010
Typical broadcast material contains not only studio-recorded texts read by trained speakers, but also spontaneous and dialect speech, debates with cross-talk, voice-overs, and on-...
133
click to vote
SIMUTOOLS
2008
15 years 6 months ago
2008
Optical Burst Switching (OBS) has been proposed as a costeffective paradigm for supporting, with adequate flexibility, the increasingly high transmission capacity required by the ...