3645 search results - page 181 / 729 » Implementing mapping composition |
138
click to vote
ICPR
2010
IEEE
16 years 1 days ago
2010
IEEE
Shift-map image processing is a new framework based on energy minimization over a large space of labels. The optimization utilizes α-expansion moves and iterative refinement ove...
150
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further in...
174
click to vote
LOPSTR
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
191
click to vote
ROBOCUP
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we propose an approach for tracking a moving target using Rao-Blackwellised particle filters. Such filters represent posteriors over the target location by a mixtur...
156
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents the definition as well as a number of methods for the solution of a new combinatorial optimization problem, called S-MAMP that has to be solved for the efficie...