9067 search results - page 1701 / 1814 » Adaptive Model Checking |
170
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Trajectory planning and optimization is a fundamental problem in articulated robotics. It is often viewed as a two phase problem of initial feasible path planning aroun...
178
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— Image keypoints are broadly used in robotics for different purposes, ranging from recognition to 3D reconstruction, passing by SLAM and visual servoing. Robust keypoint matchin...
175
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
—In this paper we describe extensions to the access control industry standards XACML and SAML to enable privacy-preserving and credential-based access control. Rather than assumi...
193
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—We consider a cognitive radio network where multiple secondary users (SUs) contend for spectrum usage, using random access, over available primary user (PU) channels. Ou...
174
click to vote
JMLR
2010
15 years 4 months ago
2010
Sparse coding—that is, modelling data vectors as sparse linear combinations of basis elements—is widely used in machine learning, neuroscience, signal processing, and statisti...