9382 search results - page 186 / 1877 » A Functional Model for Data Analysis |
151
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
103
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper we introduce a new technique for estimating the parameters of the Keplerian model commonly used in radial velocity data analysis for extrasolar planet detection. The...
139
click to vote
ISLPED
1995
ACM
15 years 8 months ago
1995
ACM
In this paper we present a novel approach to model the search space for optimal set data types in network component realisations. The main objective is to arrive at power efficie...
151
click to vote
DOLAP
2005
ACM
15 years 6 months ago
2005
ACM
Several surveys indicate that a significant percentage of data warehouses fail to meet business objectives or are outright failures. One of the reasons for this is that requireme...
134
click to vote
ICONIP
1998
15 years 5 months ago
1998
Many real processes are composed of a n-fold repetition of some simpler process. If the whole process can be modelled with a neural network, we present a method to derive a model ...