2935 search results - page 314 / 587 » An Integrated Approach to High Integrity Software Verificati... |
159
click to vote
IRI
2008
IEEE
16 years 29 days ago
2008
IEEE
In this paper, we propose an alignment-based surface pattern approach, called ABSP, which integrates semantic information into syntactic patterns for question answering (QA). ABSP...
219
click to vote
BMCBI
2007
15 years 6 months ago
2007
High-throughput methods can directly detect the set of interacting proteins in yeast but the results are often incomplete and exhibit high false positive and false negative rates....
169
click to vote
KBS
2007
15 years 6 months ago
2007
Data mining has proven a successful gateway for discovering useful knowledge and for enhancing business intelligence in a range of application fields. Incorporating this knowledg...
184
click to vote
IUI
2005
ACM
16 years 3 days ago
2005
ACM
In this paper, we describe the development of CiteSpace as an integrated environment for identifying and tracking thematic trends in scientific literature. The goal is to simplify...
150
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Large design models contain tens of thousands of model elements. Designers easily get overwhelmed maintaining the consistency of such design models over time. Not only is it hard ...