3174 search results - page 617 / 635 » An Exploration of the Permanent-Determinant Method |
141
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— Designing a localization system for a low-cost robotic consumer product poses a major challenge. In previous work, we introduced Vector Field SLAM [5], a system for simultaneou...
191
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
—Robotic surgical assistants are enhancing physician performance, enabling physicians to perform more delicate and precise minimally invasive surgery. However, these devices are ...
172
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
210
click to vote
SCHOLARPEDIA
2008
15 years 4 months ago
2008
We present a novel method for clustering using the support vector machine approach. Data points are mapped to a high dimensional feature space, where support vectors are used to d...
175
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...