3358 search results - page 671 / 672 » Parametric Aspects: A Proposal |
POPL
2012
ACM
12 years 5 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
POPL
2012
ACM
12 years 5 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
ISSTA
2012
ACM
12 years 7 days ago
2012
ACM
Identifying and fixing defects is a crucial and expensive part of the software lifecycle. Measuring the quality of bug-fixing patches is a difficult task that affects both func...
SIGIR
2012
ACM
12 years 7 days ago
2012
ACM
Most queries in web search are ambiguous and multifaceted. Identifying the major senses and facets of queries from search log data, referred to as query subtopic mining in this pa...
BMCBI
2008
13 years 10 months ago
2008
Background: Clustering is a popular data exploration technique widely used in microarray data analysis. Most conventional clustering algorithms, however, generate only one set of ...