32032 search results - page 6229 / 6407 » Verified programming in Guru |
112
click to vote
NIPS
2007
15 years 1 months ago
2007
We present a novel message passing algorithm for approximating the MAP problem in graphical models. The algorithm is similar in structure to max-product but unlike max-product it ...
SPRINGSIM
2008
15 years 1 months ago
2008
Background: Implementation of medical interventions may vary with organization and available capacity. The influence of this source of variability on the cost-effectiveness can be...
105
click to vote
PLANX
2007
15 years 1 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
RSS
2007
15 years 1 months ago
2007
— Multi-robot systems require efficient and accurate planning in order to perform mission-critical tasks. However, algorithms that find the optimal solution are usually computa...
126
click to vote
RSS
2007
15 years 1 months ago
2007
— We present a new motion planning framework that explicitly considers uncertainty in robot motion to maximize the probability of avoiding collisions and successfully reaching a ...