This paper presents a Prolog interface to the MiniSat satisfiability solver. Logic programming with satisfiability combines the strengths of the two paradigms: logic programming f...
New mobile devices can be difficult to use because they give users access to powerful computing devices through small interfaces, which typically have limited input facilities. On...
In the last several years, large multi-dimensional databases have become common in a variety of applications such as data warehousing and scientific computing. Analysis and explor...
— In this paper we examine the interaction and delivery requirements for Mobile TV. By comparing the features of traditional TV with current Mobile TV services we outline the de...
Companies, government agencies, and other organizations are making their data available to the world over the Internet. They often use large online relational tables for this purp...