Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...
Abstract. This paper discusses about the different user-interfaces of mobile development and modeling environments in order to extract important details in which the user-interface...
Abstract. In this paper we present a probabilistic algorithm which factorizes non-negative data. We employ entropic priors to additionally satisfy that user specified pairs of fac...
Paris Smaragdis, Madhusudana V. S. Shashanka, Bhik...
Abstract. Across the globe individuals and organizations are creating geographic data work products with little ability to efficiently or effectively make known and share those dig...