2335 search results - page 350 / 467 » Functional Differentiation of Computer Programs |
129
click to vote
SIGSOFT
2010
ACM
15 years 10 days ago
2010
ACM
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...
171
click to vote
POST
2012
13 years 10 months ago
2012
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
106
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Computational analysis of gene regulatory regions is important for prediction of functions of many uncharacterized genes. With this in mind, search of the target genes...
110
click to vote
IGPL
2008
15 years 2 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
132
click to vote
JMLR
2008
15 years 2 months ago
2008
The max-sum classifier predicts n-tuple of labels from n-tuple of observable variables by maximizing a sum of quality functions defined over neighbouring pairs of labels and obser...