5138 search results - page 892 / 1028 » Low-Entropy Set Selection. |
189
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
182
click to vote
MP
2010
15 years 4 months ago
2010
In this paper, we consider approximation algorithms for optimizing a generic multi-variate homogeneous polynomial function, subject to homogeneous quadratic constraints. Such opti...
161
click to vote
MVA
2010
15 years 4 months ago
2010
This paper presents a novel learning method for human action detection in video sequences. The detecting problem is not limited in controlled settings like stationary background or...
184
click to vote
NOSSDAV
2010
Springer
15 years 4 months ago
2010
Springer
In P2P assisted multi-channel live streaming systems, it is commonly believed that in unpopular channels, quality degradation is due to the small number of participating peers wit...
151
click to vote
PAMI
2010
15 years 4 months ago
2010
—Representing 2D and 3D data sets with implicit polynomials (IPs) has been attractive because of its applicability to various computer vision issues. Therefore, many IP fitting m...