Sciweavers

1102 search results - page 85 / 221
» Interactive Refinement of a Knowledge Base
Sort
View
QEST
2010
IEEE
15 years 11 days ago
DTMC Model Checking by SCC Reduction
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
Erika Ábrahám, Nils Jansen, Ralf Wim...
134
Voted
HCI
2009
15 years 8 days ago
Enhancing the Accessibility of Maps with Personal Frames of Reference
Abstract. The visualization of geographic information requires large displays. Even large screens can be insufficient to visualize e.g. a long route in a scale, such that all decis...
Falko Schmid
103
Voted
CHI
2008
ACM
16 years 2 months ago
Supporting the analytical reasoning process in information visualization
This paper presents a new information visualization framework that supports the analytical reasoning process. It consists of three views - a data view, a knowledge view and a navi...
Yedendra Babu Shrinivasan, Jarke J. van Wijk
118
Voted
CSB
2005
IEEE
110views Bioinformatics» more  CSB 2005»
15 years 8 months ago
A Topological Measurement for Weighted Protein Interaction Network
High-throughput methods for detecting protein-protein interactions (PPI) have given researchers an initial global picture of protein interactions on a genomic scale. The usefulnes...
Pengjun Pei, Aidong Zhang
121
Voted
CHI
1993
ACM
15 years 6 months ago
Exploring the applications of user-expertise assessment for intelligent interfaces
An adaptive user interface relies, to a large extent, upon an adequate user model (e.g., a representationof user-expertise). However, building a user model may be a tedious and ti...
Michel Desmarais, Jiming Liu