8828 search results - page 1151 / 1766 » Formal methods in practice |
170
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— In the past many solutions for simultaneous localization and mapping (SLAM) have been presented. Recently these solutions have been extended to map large environments w...
179
click to vote
ISMVL
2007
IEEE
16 years 1 months ago
2007
IEEE
Stochastic computation is a new alternative approach for iterative computation on factor graphs. In this approach, the information is represented by the statistics of the bit stre...
209
click to vote
IWPC
2007
IEEE
16 years 1 months ago
2007
IEEE
The use of dynamic information to aid in software understanding is a common practice nowadays. One of the many approaches concerns the comprehension of execution traces. A major i...
163
click to vote
P2P
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes to utilize algorithms from the probabilistic graphical models domain for Peer-to-Peer rating of data items and for computing “social influence” of nodes i...
206
click to vote
PG
2007
IEEE
16 years 1 months ago
2007
IEEE
We formulate contour correspondence as a Quadratic Assignment Problem (QAP), incorporating proximity information. By maintaining the neighborhood relation between points this way,...