1760 search results - page 175 / 352 » A System to Mark Programs Automatically |
134
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Genome databases contain diverse kinds of information, including gene annotations and nucleotide and amino acid sequences. It is not easy to integrate such information...
154
click to vote
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
126
click to vote
POPL
2010
ACM
16 years 20 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
99
Voted
HT
2009
ACM
15 years 9 months ago
2009
ACM
Narrative systems attempt to present users with media collections that include some element of structure or story, however these collections can lack an authorial voice and seem b...
114
click to vote
AUSDM
2007
Springer
15 years 9 months ago
2007
Springer
Most current ontology management systems concentrate on detecting usage-driven changes and representing changes formally in order to maintain the consistency. In this paper, we pr...