882 search results - page 88 / 177 » Improving Visual Impact Analysis |
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
IR
2008
14 years 9 months ago
2008
Abstract. Document length is widely recognized as an important factor for adjusting retrieval systems. Many models tend to favor the retrieval of either short or long documents and...
ICIP
2002
IEEE
2002
IEEE
Real-time reconstruction of wavelet encoded meshes for view-dependent transmission and visualization
15 years 11 months ago
Wavelet methods for geometry encoding is a recently emerged superset of multiresolution analysis which has proven to be very efficient in term of compression and adaptive transmis...
ISBI
2009
IEEE
15 years 4 months ago
2009
IEEE
We studied the performance of a double-spatial filtering method for classification of single-trial electroencephalography (EEG) data that couples the spherical surface Laplacian...
WIAMIS
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose an autonomous system for personalized production of basketball videos from multi-sensored data under limited display resolution. Especially, we propose criteria for opt...