4352 search results - page 654 / 871 » A Representation Theorem and Applications |
174
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
165
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Web image search using text queries has received considerable attention. However, current state-of-the-art approaches require training models for every new query, and are therefore...
151
click to vote
ETRA
2010
ACM
16 years 1 months ago
2010
ACM
We introduce an algorithm for space-variant filtering of video based on a spatio-temporal Laplacian pyramid and use this algorithm to render videos in order to visualize prerecor...
173
click to vote
EVOW
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. IEEE 802.16, also known as WiMAX, is a new wireless access technology for currently increasing demand of wireless high-speed broadband service. Efficient and effective d...
170
click to vote
CVPR
2009
IEEE
16 years 1 months ago
2009
IEEE
Given an image region of pixels, second order statistics can be used to construct a descriptor for object representation. One example is the covariance matrix descriptor, which sh...