Sciweavers

176 search results - page 14 / 36
» Palette: A Paper Interface for Giving Presentations
Sort
View
TPLP
2008
118views more  TPLP 2008»
13 years 7 months ago
Logic programming with satisfiability
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...
Michael Codish, Vitaly Lagoon, Peter J. Stuckey
MHCI
2005
Springer
14 years 1 months ago
Rolling, rotating and imagining in a virtual mobile world
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...
Lynne Baillie, Harald Kunczier, Hermann Anegg
INFOVIS
2000
IEEE
14 years 7 days ago
Polaris: A System for Query, Analysis and Visualization of Multi-Dimensional Relational Databases
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...
Chris Stolte, Pat Hanrahan
MHCI
2005
Springer
14 years 1 months ago
Design requirements for mobile TV
— 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...
Hendrik Knoche, John D. McCarthy
IS
2007
13 years 7 months ago
Browsing large online data tables using generalized query previews
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...
Egemen Tanin, Ben Shneiderman, Hairuo Xie