9067 search results - page 1715 / 1814 » Adaptive Model Checking |
182
click to vote
NOSSDAV
2004
Springer
15 years 11 months ago
2004
Springer
We propose an energy-aware video streaming system for portable computing devices, in which the video can be played back for the specified duration within the remaining battery am...
196
click to vote
TOG
2012
13 years 8 months ago
2012
We present a theoretical framework and practical method for the automatic construction of simple, all-quadrilateral patch layouts on manifold surfaces. The resulting layouts are c...
222
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
In this paper, we present an efficient general-purpose objective no-reference (NR) image quality assessment (IQA) framework based on unsupervised feature learning. The goal is to...
162
click to vote
AAAI
2012
13 years 8 months ago
2012
Penetration Testing is a methodology for assessing network security, by generating and executing possible hacking attacks. Doing so automatically allows for regular and systematic...
252
click to vote
Book
"Gaussian processes (GPs) provide a principled, practical, probabilistic approach to learning in kernel machines. GPs have received increased attention in the machine-learning...