5550 search results - page 840 / 1110 » Different Approaches to Proof Systems |
143
click to vote
ICRA
2006
IEEE
16 years 25 days ago
2006
IEEE
— A new strategy is developed for tracking an odor plume in an environment where wind is present. The strategy is inspired by the mechanisms that animals use to orient to stimuli...
174
Voted
IPPS
2006
IEEE
16 years 25 days ago
2006
IEEE
The prediction of protein 3D structure has become a hot research area in the post-genome era, through which people can understand a protein’s function in health and disease, exp...
160
click to vote
ACMDIS
2006
ACM
16 years 23 days ago
2006
ACM
This paper shows how we can take inspiration and use techniques from documentary film in pursuing user research. Documentary filmmaking has a long history of portraying everyday l...
188
click to vote
ICRA
2005
IEEE
16 years 12 days ago
2005
IEEE
– In this paper, we evaluate the performance of two candidate formulations for distributed motion planning of robot collectives within an Artificial Potential Field (APF) framewo...
177
click to vote
INFOCOM
2005
IEEE
16 years 11 days ago
2005
IEEE
— One of the critical challenges facing the networking industry today is to increase the profitability of Internet services. One well-known method in economics for increasing th...