740 search results - page 68 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
109
click to vote
ACMACE
2008
ACM
15 years 3 months ago
2008
ACM
The use of handheld computers as a tool to enrich the museum experience has found its way into many museums, opening up new possibilities to increase the attractiveness of museum ...
ECIS
2000
15 years 2 months ago
2000
- In this paper we consider the way in which two representational forms, scenarios and design breakdowns, which have emerged in the tradition of participatory design are relevant w...
144
click to vote
COST
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Human machine interaction is one of the emerging fields for the coming years. Interacting with others in our daily life is a face to face interaction. Faces are the natur...
172
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: Synthetic lethality experiments identify pairs of genes with complementary function. More direct functional associations (for example greater probability of membership...
119
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Genetic interaction profiles are highly informative and helpful for understanding the functional linkages between genes, and therefore have been extensively exploited ...