1386 search results - page 193 / 278 » User research in a scientific software development project |
179
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
187
click to vote
TKDE
2008
15 years 6 months ago
2008
Correlation mining has gained great success in many application domains for its ability to capture underlying dependencies between objects. However, research on correlation mining ...
185
click to vote
KDD
2007
ACM
16 years 6 months ago
2007
ACM
Correlation mining has gained great success in many application domains for its ability to capture the underlying dependency between objects. However, the research of correlation ...
223
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The development of text mining systems that annotate biological entities with their properties using scientific literature is an important recent research topic. These...
164
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Apollo, a genome annotation viewer and editor, has become a widely used genome annotation and visualization tool for distributed genome annotation projects. When using...