3702 search results - page 273 / 741 » Reducing Misclassification Costs |
175
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— We present a method for topological SLAM that specifically targets loop closing for edge-ordered graphs. Instead of using a heuristic approach to accept or reject loop closing...
159
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...
198
click to vote
CIBSE
2009
ACM
16 years 1 months ago
2009
ACM
Nowadays building a web application is still a complex process that requires a big effort to get several tasks done. This article presents a domain specific language aimed to simpl...
160
click to vote
WOWMOM
2009
ACM
16 years 1 months ago
2009
ACM
Dealing with link breaks in MANETs is a challenge for the routing protocol. This paper proposes a mechanism to reduce the negative impact of link breaks on the routing. The transm...
149
Voted
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We present a motion planning scheme for ground vehicles operating in a partially known environment. Kinematic constraints stemming from vehicle dynamics and from the requiremen...