1101 search results - page 104 / 221 » Forcing in proof theory |
83
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract— Continuum robots made from telescoping precurved elastic tubes enable base-mounted actuators to specify the curved shapes of robots as thin as standard surgical needles...
109
Voted
AR
2010
14 years 11 months ago
2010
Teams of autonomous space robots are needed for future space missions such as the construction of large solar power stations and large space telescopes in earth orbit. This work fo...
114
Voted
ACMACE
2005
ACM
15 years 6 months ago
2005
ACM
Building upon research on motivation theory, we provide insights on how video games can be framed as expert tools that naturally reconcile learning and fun, a worthy goal since st...
105
Voted
HICSS
1999
IEEE
15 years 5 months ago
1999
IEEE
Successful implementation of information technology (IT)-enabled strategy rests on the performance of IT professionals. Consequently, the development and retention of this "I...
105
click to vote
MOBIHOC
2007
ACM
16 years 10 days ago
2007
ACM
In this paper we study the problem of scheduling wireless links in the geometric SINR model, which explicitly uses the fact that nodes are distributed in the Euclidean plane. We p...