Sciweavers

2714 search results - page 200 / 543
» Under the table interaction
Sort
View
BMCBI
2011
14 years 10 months ago
Dynamic programming re-ranking for PPI interactor and pair extraction in full-text articles
Background: Experimentally verified protein-protein interactions (PPIs) cannot be easily retrieved by researchers unless they are stored in PPI databases. The curation of such dat...
Richard Tzong-Han Tsai, Po-Ting Lai
159
Voted
IEEEVAST
2010
14 years 10 months ago
ALIDA: Using machine learning for intent discernment in visual analytics interfaces
In this paper, we introduce ALIDA, an Active Learning Intent Discerning Agent for visual analytics interfaces. As users interact with and explore data in a visual analytics enviro...
Tera Marie Green, Ross Maciejewski, Steve DiPaola
112
Voted
CADE
2008
Springer
16 years 4 months ago
Model Checking for Stability Analysis in Rely-Guarantee Proofs
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
Hasan Amjad, Richard Bornat
ASSETS
2007
ACM
15 years 7 months ago
Slipping and drifting: using older users to uncover pen-based target acquisition difficulties
This paper presents the results of a study to gather information on the underlying causes of pen-based target acquisition difficulty. In order to observe both simple and complex i...
Karyn Moffatt, Joanna McGrenere
BILDMED
2007
108views Algorithms» more  BILDMED 2007»
15 years 5 months ago
Surgical Cutting on a Multimodal Object Representation
In this paper, we present the design of our surgery simulator under the aspects of multimodal object representation and parallelization on multicore architectures. Special focus is...
Lenka Jerábková, Torsten Kuhlen