3162 search results - page 522 / 633 » Transformations for semi-continuous data |
151
click to vote
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
122
click to vote
NIPS
2004
15 years 2 months ago
2004
Multiple realizations of continuous-valued time series from a stochastic process often contain systematic variations in rate and amplitude. To leverage the information contained i...
160
click to vote
ICECCS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Cheddar is a framework dedicated to the specification of real-time schedulers, and to their analysis by simulation. It is developed in Ada. Some parts of its modular ar...
120
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Micro- and macroarray technologies help acquire thousands of gene expression patterns covering important biological processes during plant ontogeny. Particularly, fait...
150
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Statistical comparison of peptide profiles in biomarker discovery requires fast, userfriendly software for high throughput data analysis. Important features are flexib...