1452 search results - page 214 / 291 » Algorithmic Analysis of Array-Accessing Programs |
89
Voted
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
112
click to vote
KDD
2002
ACM
16 years 1 months ago
2002
ACM
Multimedia Data Mining requires the ability to automatically analyze and understand the content. The Community of Multimedia Agents project (COMMA) is devoted to creating an open ...
94
Voted
BMCBI
2008
15 years 27 days ago
2008
Background: Proteomic profiling using mass spectrometry (MS) is one of the most promising methods for the analysis of complex biological samples such as urine, serum and tissue fo...
125
Voted
CORR
2004
Springer
15 years 19 days ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
106
Voted
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
We present a range of new results for testing properties of Boolean functions that are defined in terms of the Fourier spectrum. Broadly speaking, our results show that the propert...