740 search results - page 120 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
100
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...
133
click to vote
CHI
2006
ACM
16 years 1 months ago
2006
ACM
The attention funnel is a general purpose AR interface technique that interactively guides the attention of a user to any object, person, or place in space. The technique utilizes...
101
click to vote
BMCBI
2007
15 years 28 days ago
2007
Background: There are many fewer genes in the human genome than there are expressed transcripts. Alternative splicing is the reason. Alternatively spliced transcripts are often sp...
124
click to vote
PRESENCE
2007
15 years 25 days ago
2007
Causality is an important aspect of how we construct reality. Yet, while many psychological phenomena have been studied in their relation to virtual reality (VR), very little work...
CHI
2004
ACM
16 years 1 months ago
2004
ACM
This poster describes an integrated set of stories and story-based activities that we have used in product development in IBM Software Group's Lotus product organizations. We...