246 search results - page 47 / 50 » How Do Program Understanding Tools Affect How Programmers Un... |
138
click to vote
ICTAI
2007
IEEE
15 years 8 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
187
click to vote
TON
2012
13 years 4 months ago
2012
Abstract—Wireless sensor networks (WSNs) have been increasingly available for critical applications such as security surveillance and environmental monitoring. An important perfo...
143
click to vote
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
108
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Microarrays used for gene expression studies yield large amounts of data. The processing of such data typically leads to lists of differentially-regulated genes. A com...
116
click to vote
MICS
2010
15 years 16 days ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...