692 search results - page 9 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
FSTTCS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
BMCBI
2010
14 years 12 months ago
2010
Background: Multiplex Ligation-Dependent Probe Amplification (MLPA) is an application that can be used for the detection of multiple chromosomal aberrations in a single experiment...
COODBSE
1994
15 years 1 months ago
1994
Software engineering research has focused primarily on software construction, neglecting software maintenance and evolution. Observed is a shift in research from synthesis to anal...
121
click to vote
AIMSA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The paper addresses an important challenge for the automatic processing of English written text: understanding noun compounds’ semantics. Following Downing (1977) [1], ...
113
click to vote
ACL
1997
15 years 1 months ago
1997
Although adequate models of human language for syntactic analysis and semantic interpretation are of at least contextfree complexity, for applications such as speech processing in...