740 search results - page 141 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
SIGMOD
2010
ACM
13 years 5 months ago
2010
ACM
Given a graph database D and a query graph g, an exact subgraph matching query asks for the set S of graphs in D that contain g as a subgraph. This type of queries find important...
KDD
2009
ACM
14 years 7 months ago
2009
ACM
One common predictive modeling challenge occurs in text mining problems is that the training data and the operational (testing) data are drawn from different underlying distributi...
UIST
2004
ACM
14 years 23 days ago
2004
ACM
Ubiquitous and Wearable Computing both have the goal of pushing the computer into the background, supporting all kinds of human activities. Application areas include areas such as...
WWW
2010
ACM
14 years 2 months ago
2010
ACM
User experience in social media involves rich interactions with the media content and other participants in the community. In order to support such communities, it is important to...
BMCBI
2010
13 years 7 months ago
2010
Background: Observed co-expression of a group of genes is frequently attributed to co-regulation by shared transcription factors. This assumption has led to the hypothesis that pr...