1309 search results - page 36 / 262 » Approaching Optimality for Solving SDD Linear Systems |
110
click to vote
ICCV
2011
IEEE
13 years 11 months ago
2011
IEEE
We propose a novel method for computing a geometrically consistent and spatially dense matching between two 3D shapes. Rather than mapping points to points we match infinitesimal...
108
click to vote
IJCAI
2007
15 years 1 months ago
2007
We evaluate a new hybrid language processing approach designed for interactive applications that maintain an interaction with users over multiple turns. Specifically, we describe ...
189
click to vote
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper deals with feature matching and segmentation of common objects in a pair of images, simultaneously. For the feature matching problem, the matching likelihoods of all fea...
100
click to vote
AVSS
2009
IEEE
15 years 6 months ago
2009
IEEE
—In this work we propose a dynamic scene model to provide information about the presence of salient motion in the scene, and that could be used for focusing the attention of a pa...
179
click to vote
CP
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...