Fixed point logics are widely used in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the
As human computer interface gets more immersive, it will need to explicitly draw upon cognitive science as a basis for understanding what people are capable of doing. User experie...
Computational database technology spans the two research fields data-base technology and scientific computing. It involves development of database capabilities that support compu...
Abstract. We present a new method for computing semantic relatedness of concepts. The method relies solely on the structure of a conceptual network and eliminates the need for perf...
Crafting a good user experience requires skills in several disciplines. Few people have this breadth of knowledge, and undergraduate computer science students are no exception. En...