2119 search results - page 210 / 424 » Structure-Preserving Model Reduction |
162
click to vote
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
126
click to vote
ICIP
2005
IEEE
16 years 4 months ago
2005
IEEE
In this paper we present a technique for the tracking of textured almost planar object. The target is modeled as a noisy planar cloud of points. The tracking is led with an approp...
123
Voted
DCC
2006
IEEE
16 years 2 months ago
2006
IEEE
An analysis is presented that examines multihypothesis motion-compensated video coding using a redundant wavelet transform to produce multiple predictions that are diverse in tran...
134
click to vote
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
The Fisher kernel is a generic framework which combines the benefits of generative and discriminative approaches to pattern classification. In this contribution, we propose to a...
115
click to vote
ICVS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Due to stringing time constraints, saliency models are becoming popular tools for building situated robotic systems requiring, for instance, object recognition and vision...