1982 search results - page 282 / 397 » Parametricity and dependent types |
175
click to vote
HAPTICS
2005
IEEE
15 years 12 months ago
2005
IEEE
We performed experiments to investigate how humans acquire an internal representation of virtual objects through the execution of reaching movements across the object surface. Sub...
155
click to vote
ICTAI
2005
IEEE
15 years 12 months ago
2005
IEEE
Designing cooperative multi-robot systems (MRS) requires expert knowledge both in control and artificial intelligence. Formation control is an important research within the resea...
170
click to vote
INFOCOM
2005
IEEE
15 years 12 months ago
2005
IEEE
— In this paper we investigate the use of proactive multipath routing to achieve energy efficient operation of ad hoc wireless networks. The focus is on optimizing trade-offs be...
140
click to vote
IV
2005
IEEE
15 years 12 months ago
2005
IEEE
While searching the Web, the user is often confronted by a great number of results, generally sorted by their rank. These results are then displayed as a succession of ordered lis...
176
click to vote
SAINT
2005
IEEE
15 years 12 months ago
2005
IEEE
Pervasive user mobility, wireless connectivity and the widespread diffusion of portable devices raise new challenges for ubiquitous service provisioning. An emerging architecture ...