837 search results - page 126 / 168 » Proof Development with OMEGA |
WINE
2007
Springer
14 years 4 months ago
2007
Springer
This paper characterizes the family of truthful doublesided auctions. Despite the importance of double-sided auctions to market design, to date no characterization of truthful dou...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
- This paper reports the pneumatic PDMS micro hand as an endeffector of robot and miniaturized parallel link robot (guide robot) for manipulating a tiny and delicate object. Micro ...
CRV
2005
IEEE
14 years 3 months ago
2005
IEEE
We present a proof of concept system to represent and reason about hockey play. The system takes as input player motion trajectory data tracked from game video and supported by kn...
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
— Sharing IP blocks in today’s competitive market poses significant high security risks. Creators and owners of IP designs want assurances that their content will not be illeg...
ICPADS
2005
IEEE
14 years 3 months ago
2005
IEEE
We show that universal routing can be achieved with low overhead in distributed networks. The validity of our results rests on a new network called the fat-stack. We show that fro...