1983 search results - page 136 / 397 » Optimal Reverse-Pricing Mechanisms |
192
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
149
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
A non-metric pan-tilt stereo-head consists of a weakly calibrated stereo rig mounted on a pan-tilt mechanism. It is called non-metric since neither the kinematics of the mechanism...
113
click to vote
ICRA
2007
IEEE
16 years 20 days ago
2007
IEEE
—In this paper we present the design of a swallowable (11mm diameter by 25mm long), 12-legged endoscopic capsule for locomotion in the lower gastro intestinal tract (large bowel)...
152
click to vote
ISCA
2005
IEEE
15 years 12 months ago
2005
IEEE
To maintain coherence in conventional shared-memory multiprocessor systems, processors first check other processors’ caches before obtaining data from memory. This coherence che...
152
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
Researchers of HIV-1 are today, still unable to determine exactly the biological mechanisms that cause AIDS. Various mechanisms have been hypothesized and their existences have be...