770 search results - page 8 / 154 » Dinatural Terms in System F |
CSCW
2002
ACM
13 years 7 months ago
2002
ACM
Peer-to-peer systems appear promising in terms of their ability to support ad hoc, spontaneous collaboration. However, current peer-to-peer systems suffer from several deficiencie...
ICALP
2009
Springer
14 years 7 months ago
2009
Springer
The notion of distributed functional monitoring was recently introduced by Cormode, Muthukrishnan and Yi [CMY08] to initiate a formal study of the communication cost of certain fu...
FQAS
2009
Springer
13 years 12 months ago
2009
Springer
Relevance Feedback (RF) is a technique allowing to enrich an initial query according to the user feedback in order to get results closer to the user’s information need. This pape...
MMS
2007
13 years 6 months ago
2007
Almost all system and application design for multimedia systems is based around a single user working in isolation to perform some task yet much of the work for which we use comput...
ICCD
1993
IEEE
13 years 11 months ago
1993
IEEE
Symbolic representations of systems can achieve a high degree of compaction relative to more explicit forms. By casting an analysis task in terms of operations on a symbolic repre...