562 search results - page 64 / 113 » Ordered Sets in the Calculus of Data Structures |
CADE
2008
Springer
15 years 10 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
TMI
2010
14 years 4 months ago
2010
Diffusion Kurtosis Imaging (DKI) is a new magnetic resonance imaging model that describes the non-Gaussian diffusion behavior in tissues. It has recently been shown that DKI param...
DCC
2004
IEEE
15 years 9 months ago
2004
IEEE
3D neuro-anatomical images and other volumetric data sets are important in many scientific and biomedical fields. Since such sets may be extremely large, a scalable compression me...
ICIC
2009
Springer
15 years 4 months ago
2009
Springer
Genetic Programming(GP) can obtain a program structure to solve complex problem. This paper presents a new form of Genetic Programming, Function Sequence Genetic Programming (FSGP)...
BMCBI
2006
14 years 9 months ago
2006
Background: With current technology, vast amounts of data can be cheaply and efficiently produced in association studies, and to prevent data analysis to become the bottleneck of ...