Recommender systems provide users with personalized suggestions for products or services. These systems often rely on Collaborating Filtering (CF), where past transactions are ana...
As project teams become used more widely, the question of how to capitalize on the knowledge learned in these teams remains an open issue. Using previous research on transactive m...
Active involvement of end users in the development of interactive systems is both highly recommended and highly challenging. This is particularly true in settings where the require...
The construction of personalised information systems is becoming more important as the quantity of information to be searched increases. The approach taken in this paper involves ...
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
Peter C. Dillinger, Panagiotis Manolios, Daron Vro...