Sciweavers

786 search results - page 77 / 158
» A static theory of promises
Sort
View
IFIP
2010
Springer
14 years 4 months ago
Semantics of Trust
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...
Tim Muller
CVPR
2003
IEEE
16 years 1 days ago
Spacetime Stereo: Shape Recovery for Dynamic Scenes
This paper extends the traditional binocular stereo problem into the spacetime domain, in which a pair of video streams is matched simultaneously instead of matching pairs of imag...
Li Zhang, Brian Curless, Steven M. Seitz
MICCAI
2008
Springer
15 years 11 months ago
Automatic Guidance of an Ultrasound Probe by Visual Servoing Based on B-Mode Image Moments
We propose a new visual servo approach to automatically control in real-time the full motion of a 2D ultrasound (US) probe held by a medical robot in order to reach a desired image...
Rafik Mebarki, Alexandre Krupa, Christophe Colle...
DAC
2006
ACM
15 years 11 months ago
Gate sizing: finFETs vs 32nm bulk MOSFETs
FinFET devices promise to replace traditional MOSFETs because of superior ability in controlling leakage and minimizing short channel effects while delivering a strong drive curre...
Brian Swahn, Soha Hassoun
VLSID
2009
IEEE
143views VLSI» more  VLSID 2009»
15 years 10 months ago
SACR: Scheduling-Aware Cache Reconfiguration for Real-Time Embedded Systems
Dynamic reconfiguration techniques are widely used for efficient system optimization. Dynamic cache reconfiguration is a promising approach for reducing energy consumption as well...
Weixun Wang, Prabhat Mishra, Ann Gordon-Ross