9110 search results - page 8 / 1822 » Formally-Based Design Evaluation |
64
Voted
CEJCS
2011
13 years 9 months ago
2011
: Network analytic method designed for the analysis of static networks promise to identify significant relational patterns that correlate with important structures in the complex ...
121
click to vote
HRI
2011
ACM
14 years 1 months ago
2011
ACM
In this paper, we present a real world user study of 4 interfaces designed to teach new visual objects to a social robot. This study was designed as a robotic game in order to mai...
110
click to vote
MMB
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. During development, processor architectures can be tuned and configured by many different parameters. For benchmarking, automatic design space explorations (DSEs) with h...
IUI
2012
ACM
13 years 5 months ago
2012
ACM
One Feature (1F) is a simple and intuitive pruning strategy that reduces considerably the amount of computations required by Nearest-Neighbor gesture classifiers while still pres...
98
Voted
SIGCOMM
2012
ACM
13 years 1 days ago
2012
ACM
We present PaDIS Emulator, a fully automated platform to evaluate CDN-ISP collaboration for better content delivery, traffic engineering, and cost reduction. The PaDIS Emulator e...