740 search results - page 95 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
105
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Despite increasing interest in applying Natural Language Processing (NLP) to biomedical text, whether this technology can facilitate tasks such as database curation re...
127
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: The quality of cDNA microarray data is crucial for expanding its application to other research areas, such as the study of gene regulatory networks. Despite the fact t...
114
click to vote
ITICSE
2003
ACM
15 years 6 months ago
2003
ACM
This paper presents HTTPExplorer, an interactive tool to explore the Hypertext Transfer Protocol. The intention is to use the tool in a course on web-based applications to support...
115
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
Collaborative browsing, or co-browsing, is the co-navigation of the web with other people at-a-distance, supported by software that takes care of synchronizing the browsers. Curre...
110
click to vote
CHI
2004
ACM
16 years 1 months ago
2004
ACM
Many studies have been conducted on supporting communication in home and office spaces, but relatively few studies have explored supporting communication in large-scale public spa...