972 search results - page 32 / 195 » Intersection types and computational effects |
LCN
2007
IEEE
14 years 1 months ago
2007
IEEE
— As video on demand systems gain popularity, it seems likely that the desire to serve a high number of customers from limited network resources could lead to a degradation of th...
APGV
2008
ACM
13 years 9 months ago
2008
ACM
simulations compare to similar measurements done in more abstract settings. We find that participant tolerance for certain types of errors is significantly higher in a realistic sn...
EUROIMSA
2006
13 years 9 months ago
2006
While searching the web, the user is often confronted by a great number of results, generally displayed in a list which is sorted according to the relevance of the results. Facing...
HRI
2010
ACM
14 years 2 months ago
2010
ACM
Abstract—Cooperative gestures are a key aspect of humanhuman pro-social interaction. Thus, it is reasonable to expect that endowing humanoid robots with the ability to use such g...
WEBI
2009
Springer
14 years 2 months ago
2009
Springer
—In this paper, we investigate the problem of supporting keyword-based searching for the discovery of software resources that are installed on the nodes of largescale, federated ...