Finger braille is one of the communication methods for the deaf blind. The fingers of the deaf blind are regarded as keys of a brailler. Finger braille seems to be the most suited...
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
Clickthrough data is a particularly inexpensive and plentiful resource to obtain implicit relevance feedback for improving and personalizing search engines. However, it is well kn...
The Grid technology is evolving into a global, service-orientated architecture – a universal platform for delivering future high demand computational services. Strong adoption of...
Online communities that allow their users to express their personal preferences, such as the members they trust and the products they appreciate, are becoming increasingly popular...