477 search results - page 73 / 96 » Design patterns in separation logic |
87
Voted
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—This paper presents a novel transport protocol, CUSP, specifically designed with complex and dynamic network applications in mind. Peer-to-peer applications benefit in particu...
166
click to vote
MIR
2010
ACM
15 years 11 months ago
2010
ACM
This paper discusses two sets of automatic musical genre classification experiments. Promising research directions are then proposed based on the results of these experiments. The...
139
click to vote
ADAEUROPE
2000
Springer
15 years 8 months ago
2000
Springer
Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/ restoring is a very active res...
151
click to vote
ICIAR
2004
Springer
15 years 9 months ago
2004
Springer
The automated flaw detection in aluminium castings consists of two steps: a) identification of potential defects using image processing techniques, and b) classification of pote...
134
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: As numerous diseases involve errors in signal transduction, modern therapeutics often target proteins involved in cellular signaling. Interpretation of the activity of...