Sciweavers

291 search results - page 32 / 59
» Issues in Automatic Generation of User Interfaces in Model-B...
Sort
View
SIGMOD
2009
ACM
148views Database» more  SIGMOD 2009»
14 years 8 months ago
Combining keyword search and forms for ad hoc querying of databases
A common criticism of database systems is that they are hard to query for users uncomfortable with a formal query language. To address this problem, form-based interfaces and keyw...
Eric Chu, Akanksha Baid, Xiaoyong Chai, AnHai Doan...
ISMB
1998
13 years 9 months ago
Advanced Query Mechanisms for Biological Databases
Existing query interfaces for biological databases are either based on fixed forms or textual query languages. Users of a fixed form-based query interface are limited to performin...
I-Min A. Chen, Anthony Kosky, Victor M. Markowitz,...
WWW
2010
ACM
13 years 8 months ago
Structured audio podcasts via web text-to-speech system
Audio podcasting is increasingly present in the educational field and is especially appreciated as an ubiquitous/pervasive tool ("anywhere, anytime, at any pace") for ac...
Giulio Mori, Maria Claudia Buzzi, Marina Buzzi, Ba...
EHCI
2004
13 years 9 months ago
Spatial Control of Interactive Surfaces in an Augmented Environment
New display technologies will enable designers to use every surface as a support for interaction with information technology. In this article, we describe techniques and tools for ...
Stanislaw Borkowski, Julien Letessier, James L. Cr...
ITP
2010
178views Mathematics» more  ITP 2010»
13 years 9 months ago
Interactive Termination Proofs Using Termination Cores
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
Panagiotis Manolios, Daron Vroon