Sciweavers

997 search results - page 82 / 200
» Decision-Theoretic User Interface Generation
Sort
View
NFM
2011
254views Formal Methods» more  NFM 2011»
14 years 11 months ago
A Tabular Expression Toolbox for Matlab/Simulink
Abstract. Tabular expressions have been successfully used in developing safety critical systems, however insufficient tool support has hampered their wider adoption. To address thi...
Colin Eles, Mark Lawford
MASCOTS
2003
15 years 6 months ago
Performance Benchmarking of Dynamic Web Technologies
When the World-Wide Web was first created, the content on most Web sites was simply a collection of static files. Today, many Web sites dynamically generate responses “on the ...
Lance Titchkosky, Martin F. Arlitt, Carey L. Willi...
ISMB
1998
15 years 6 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,...
HCSE
2010
15 years 2 months ago
Supporting Multimodality in Service-Oriented Model-Based Development Environments
While multimodal interfaces are becoming more and more used and supported, their development is still difficult and there is a lack of authoring tools for this purpose. The goal of...
Marco Manca, Fabio Paternò
IUI
2011
ACM
14 years 7 months ago
Predicting and compensating for lexicon access errors
Learning a foreign language is a long, error-prone process, and much of a learner’s time is effectively spent studying vocabulary. Many errors occur because words are only partl...
Lars Yencken, Timothy Baldwin