400 search results - page 44 / 80 » Moving Proofs-As-Programs into Practice |
PUC
2010
13 years 7 months ago
2010
Deploying UbiComp in real homes is central to realizing Weiserʼs grand vision of ʻinvisibleʼ computing. It is essential to moving design out of the lab and making it into an unr...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Reliable and efficient navigation with a humanoid robot is a difficult task. First, the motion commands are executed rather inaccurately due to backlash in the joints or foot slipp...
WICON
2010
13 years 6 months ago
2010
Vehicle-to-Vehicle and Vehicle-to-Roadside communications are going to become an indispensable part of the modern day automotive experience. For people on the move, vehicular netwo...
ICCV
2009
IEEE
13 years 6 months ago
2009
IEEE
Perceiving dynamic scenes of rigid bodies, through affine projections of moving 3D point clouds, boils down to clustering the rigid motion subspaces supported by the points' ...
IEEEARES
2009
IEEE
13 years 6 months ago
2009
IEEE
Scenarios such as online banking, mobile payment systems, stock trading, selling merchandise, and a host of other applications that need a high level of security have moved from th...