5550 search results - page 795 / 1110 » Different Approaches to Proof Systems |
151
Voted
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Creating robots able to interact and cooperate with humans in household environments and everyday life is an emerging topic. Our goal is to facilitate a humanlike and intuitive...
184
Voted
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
New versions of existing large-scale web services such as Passport.com© have to go through rigorous performance evaluations in order to ensure a high degree of availability. Perf...
170
Voted
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— In multiuser systems, multiuser diversity gains can be achieved by assigning channels to users with higher channel quality. To avoid the extensive information exchange required...
184
Voted
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents iShare, a distributed peer-to-peer Internet-sharing system, that facilitates the sharing of diverse resources located in different administrative domains over ...
214
Voted
IEEECGIV
2006
IEEE
16 years 27 days ago
2006
IEEE
PathBank is a web-based query and visualization system for biological pathways using an integrated pathway database. To address the needs for biologists to visualize and analyze b...