3974 search results - page 232 / 795 » Metric Functional Dependencies |
EUSFLAT
2007
15 years 7 months ago
2007
We provide a method for constructing a class of multivariate copulas depending on a univariate function. We study some properties of this class and present several examples. The s...
147
click to vote
MLQ
2008
15 years 5 months ago
2008
We study, from a classical point of view, how the truth of a statement about higher type functionals depends on the underlying model. The models considered are the classical set-t...
139
click to vote
DMTCS
2010
15 years 3 months ago
2010
Using the saddle point method, we obtain from the generating function of the Stirling numbers of the first kind n j and Cauchy's integral formula, asymptotic results in centr...
151
click to vote
GLOBECOM
2006
IEEE
16 years 8 hour ago
2006
IEEE
— This work presents a statistical field study of the availability of time sources for location in a true wireless network. Terrestrial (base stations) and satellite (GPS) source...
184
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...