1981 search results - page 158 / 397 » Model-Checking Hierarchical Structures |
CHI
2007
ACM
15 years 10 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...
SMA
2009
ACM
15 years 4 months 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...
94
Voted
GLOBECOM
2007
IEEE
15 years 4 months 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...
68
Voted
ICRA
2007
IEEE
15 years 4 months 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...
104
click to vote
CVPR
2006
IEEE
15 years 4 months 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...