623 search results - page 74 / 125 » Relational Parametricity for Control Considered as a Computa... |
SIGOPSE
2000
ACM
15 years 4 months ago
2000
ACM
As researchers look beyond the PC there is increasing interest in developing and deploying sophisticated home networks. Such networks might allow the seamless integration of infor...
SIGCSE
2005
ACM
15 years 5 months ago
2005
ACM
Closed laboratories are becoming an increasingly popular approach to teaching introductory computer science courses. However, as observed in [1], “Considering the prevalence of ...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We study the problem of learning to rank images for image retrieval. For a noisy set of images indexed or tagged by the same keyword, we learn a ranking model from some training e...
AIL
2000
14 years 11 months ago
2000
Computational dialectics is a relatively new field. It is, among others, concerned with the formal representation of argument and dispute. The goal is to suggest algorithms, proce...
MSOM
2010
14 years 10 months ago
2010
Wave-based release policies are prevalent in warehouses with an automated sorter, and take different forms depending on how much waves overlap and whether the sorter is split for...