In this paper, we propose a generalization of Centering Theory (CT) (Grosz, Joshi, Weinstein 1995) called Veins Theory (VT), which extends the applicability of centering rules fro...
We develop an imperative calculus of objects that is both tiny and expressive. Our calculus provides a minimal setting in which to study the operational semantics and the typing r...
Weapply rule induction to mine for knowledgein a database which stores data obtained by monitoring the water quality of the rivers in Slovenia. The database contains measurementda...
Any action is performed in a particular context. So what does it mean to do the ‘same’ thing in a different context? There is no simple answer to this question , it depends on ...
A new approa ch for pe r f or ma nc e -dr ive n r outi ng i n hi ghly c onge st e d hi gh s pe e d MCMs a nd PCBs i s pr e s e nt e d. Gl oba l r out i ng i s e mpl oye d t o ma n...