8838 search results - page 225 / 1768 » Generalizing Domain Theory |
149
click to vote
CSCW
2006
ACM
15 years 12 months ago
2006
ACM
Groupware communicates by sending messages across the network, and groupware programmers use a variety of formats for these messages, such as XML, plain text, or serialized object...
209
click to vote
SIAMCOMP
2012
13 years 8 months ago
2012
We consider online algorithms for the generalized caching problem. Here we are given a cache of size k and pages with arbitrary sizes and fetching costs. Given a request sequence ...
288
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
164
click to vote
IROS
2008
IEEE
16 years 11 days ago
2008
IEEE
— In this paper we develop a theory of metamodules and an associated distributed asynchronous planner which generalizes previous work on metamodules for lattice-based modular rob...
164
click to vote
AAAI
2006
15 years 7 months ago
2006
Any automated decision support software must tailor its actions or recommendations to the preferences of different users. Thus it requires some representation of user preferences ...