Models of computer users that are learned on the basis of data can make use of two types of information: data about users in general and data about the current individual user. Fo...
The evolution of Description Logics (DLs) and Propositional Dynamic Logics produced a hierar chy of decidable logics with multiple maximal el ements. It would be desirable to ...
abstract, form of this problem, we use a mathematical analysis to show that three different messaging protocols result in varying message loads, depending on certain parameters suc...
Co-citations have long been used as a measure of topical relatedness between documents. However, we have observed some characteristic patterns in the way cocitations are formed in...
Mandar R. Mutalikdesai, Srinath Srinivasa, Viswana...
A monadic parser combinator library which guarantees termination of parsing, while still allowing many forms of left recursion, is described. The library's interface is simil...