279 search results - page 53 / 56 » Invariant Patterns for Program Reasoning |
118
click to vote
ICPR
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper, a method to automatically extract the main information from a long-term electrocardiographic signal is presented. This method is based on techniques of pattern reco...
135
click to vote
PARCO
2003
15 years 3 months ago
2003
Three different partial differential equation (PDE) solver kernels are analyzed in respect to cache memory performance on a simulated shared memory computer. The kernels implement...
114
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: The imprint of natural selection on gene sequences is often difficult to detect. A plethora of methods have been devised to detect genetic changes due to selective pro...
127
click to vote
JOT
2007
15 years 1 months ago
2007
This paper describes how to extract stock quote data and display it with a dynamic update (using free, but delayed data streams). As a part of the architecture of the program, we ...
135
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Peer-to-peer systems, exchanging dynamic documents through Web services, are a simple and effective platform for data integration on the internet. Dynamic documents can contain b...