143 search results - page 24 / 29 » Data-Flow Analysis of Program Fragments |
ANLP
1994
13 years 11 months ago
1994
This paper presents Delphi, the natural language component of the BBN Spoken Language System. Delphi is a domainindependent natural language question answering system that is soli...
LPAR
2010
Springer
13 years 7 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
BMCBI
2008
13 years 9 months ago
2008
Background: Recent progresses in genotyping technologies allow the generation high-density genetic maps using hundreds of thousands of genetic markers for each DNA sample. The ava...
GCB
1998
Springer
14 years 1 months ago
1998
Springer
Analysis of a newly sequenced bacterial genome starts with identification of protein-coding genes. Functional assignment of proteins requires the exact knowledge of protein N-term...
ICSM
2008
IEEE
14 years 4 months ago
2008
IEEE
Code clones are similar program structures recurring in software systems. Clone detectors produce much information and a challenge is to identify useful clones depending on the go...