6020 search results - page 124 / 1204 » A New Approach to Model Counting |
138
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper proposes the use of optical flow from a moving robot to provide force feedback to an operator’s joystick to facilitate collision free teleoperation. Optic flow i...
116
click to vote
ITP
2010
15 years 7 months ago
2010
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...
144
click to vote
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper proposes a cache hierarchy that enables Web search engines to efficiently process user queries. The different caches in the hierarchy are used to store pieces of data w...
152
click to vote
COMPUTER
2002
15 years 3 months ago
2002
of abstraction and coarse granularity and distributed communication control. Focusing on using probabilistic metrics such as average values or variance to quantify design objective...
147
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
This paper considers the problem of how to allocate power among competing users sharing a frequency-selective interference channel. We model the interaction between these selfish ...