Sciweavers

26 search results - page 3 / 6
» Type Dispatch for Named Hierarchical Types
Sort
View
INTERACT
2007
13 years 7 months ago
CandidTree: Visualizing Structural Uncertainty in Similar Hierarchies
Most visualization systems fail to convey uncertainty within data. To provide a way to show uncertainty in similar hierarchies, we interpreted the differences between two tree stru...
Bongshin Lee, George G. Robertson, Mary Czerwinski...
PSYCHNOLOGY
2008
115views more  PSYCHNOLOGY 2008»
13 years 5 months ago
Applying a Cognitive Engineering Approach to Interface Design of Energy Management Systems
This article presents a case study of the user interface design of a grid (energy) management system. The theoretical backdrop of the case study is cognitive engineering, with its...
Thomas Hoff, Andreas Hauser
ALT
2004
Springer
14 years 3 months ago
Comparison of Query Learning and Gold-Style Learning in Dependence of the Hypothesis Space
Different formal learning models address different aspects of learning. Below we compare learning via queries—interpreting learning as a one-shot process in which the learner i...
Steffen Lange, Sandra Zilles
BMCBI
2006
153views more  BMCBI 2006»
13 years 6 months ago
The 3of5 web application for complex and comprehensive pattern matching in protein sequences
Background: The identification of patterns in biological sequences is a key challenge in genome analysis and in proteomics. Frequently such patterns are complex and highly variabl...
Markus Seiler, Alexander Mehrle, Annemarie Poustka...
CORR
2008
Springer
143views Education» more  CORR 2008»
13 years 6 months ago
On combinations of local theory extensions
Many problems in mathematics and computer science can be reduced to proving the satisfiability of conjunctions of literals in a background theory which is often the extension of a ...
Viorica Sofronie-Stokkermans