1713 search results - page 5 / 343 » Analysis of Procedure Splitability |
63
Voted
TAP
2010
Springer
14 years 8 months ago
2010
Springer
69
Voted
DOCENG
2008
ACM
14 years 11 months ago
2008
ACM
In this paper, we show how a domain dependent know-how textual database of advices and warnings can be constructed from procedural texts. We show how arguments of type warnings an...
78
Voted
PLDI
2011
ACM
14 years 13 days ago
2011
ACM
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...
KES
2008
Springer
14 years 9 months ago
2008
Springer
An ontology for representing operation, safety and control procedures is proposed in this paper that supports diagnosis based on following these procedures and combining observed m...
BMCBI
2006
14 years 9 months ago
2006
Background: Recently, a large number of methods for the analysis of microarray data have been proposed but there are few comparisons of their relative performances. By using so-ca...