1413 search results - page 189 / 283 » Bisimilarity of Open Terms |
171
click to vote
SODA
2008
ACM
15 years 8 months ago
2008
ACM
We present a simple randomized algorithmic framework for connected facility location problems. The basic idea is as follows: We run a black-box approximation algorithm for the unc...
194
click to vote
WICON
2008
15 years 8 months ago
2008
Widespread and affordable broadband access opens up opportunities for delivery of new streaming services. However, what is expected to fundamentally change the way that people use...
107
click to vote
AAAI
2006
15 years 8 months ago
2006
Overhearing is an approach for monitoring open, distributed, multi-agent systems by listening to the routine communications taking place within them. Previous investigations of ov...
181
click to vote
AAAI
2006
15 years 8 months ago
2006
Recently, Lakemeyer and Levesque proposed a logic of onlyknowing which precisely captures three forms of nonmonotonic reasoning: Moore's Autoepistemic Logic, Konolige's ...
135
click to vote
AVI
2004
15 years 8 months ago
2004
In this paper we present our experience in building a visual file manager, VennFS2, that offers to users an adaptive interface toward access to files. Our file manager was origina...