Sciweavers

298 search results - page 20 / 60
» Forgetting and Update -- an exploration
Sort
View
EACL
2003
ACL Anthology
13 years 8 months ago
A Dynamic Logic Formalisation of the Dialogue Gameboard
This paper explores the possibility of using the paradigm of Dynamic Logic (DL) to formalise information states and update processes on information states. In particular, we prese...
Raquel Fernández
TLCA
2005
Springer
14 years 26 days ago
L3: A Linear Language with Locations
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
Greg Morrisett, Amal J. Ahmed, Matthew Fluet
MIDDLEWARE
2004
Springer
14 years 23 days ago
Transparent Information Dissemination
This paper explores integrating self-tuning updates and sequential consistency to enable transparent replication of large-scale information dissemination services. We focus our at...
Amol Nayate, Michael Dahlin, Arun Iyengar
JIIS
2008
133views more  JIIS 2008»
13 years 7 months ago
Maintaining frequent closed itemsets over a sliding window
In this paper, we study the incremental update of Frequent Closed Itemsets (FCIs) over a sliding window in a high-speed data stream. We propose the notion of semi-FCIs, which is to...
James Cheng, Yiping Ke, Wilfred Ng
CHI
2009
ACM
14 years 2 days ago
Facilitating benign deceit in mediated communication
This research explores how to communicate an individuals’ self-reported emotional state to members of their personal social network, through automatic, computer-generated, perso...
Wendy Moncur, Judith Masthoff, Ehud Reiter