1981 search results - page 158 / 397 » Model-Checking Hierarchical Structures |
123
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
This paper introduces bubbling menus, a new design for cascading drop-down menus. Bubbling menus combine the bubble cursor [10] with directional mouse-gesture techniques to facili...
178
click to vote
SMA
2009
ACM
16 years 27 days ago
2009
ACM
Electrostatic interactions play a significant role in determining the binding affinity of molecules and drugs. While significant effort has been devoted to the accurate computat...
181
click to vote
GLOBECOM
2007
IEEE
16 years 21 days ago
2007
IEEE
— Virtual Private Networks (VPN) provide a secure and reliable communication between customer sites over a shared network. Two models were proposed for the service provisioning i...
153
click to vote
ICRA
2007
IEEE
16 years 21 days ago
2007
IEEE
— We describe the design and control of a new bio-inspired climbing robot designed to scale smooth vertical surfaces using directional adhesive materials. The robot, called Stick...
201
click to vote
CVPR
2006
IEEE
16 years 13 days ago
2006
IEEE
We develop an integrated, probabilistic model for the appearance and three-dimensional geometry of cluttered scenes. Object categories are modeled via distributions over the 3D lo...