1982 search results - page 135 / 397 » Parametricity and dependent types |
199
click to vote
DCG
2010
15 years 6 months ago
2010
The Voronoi diagram of a point set is a fundamental geometric structure that partitions the space into elementary regions of influence defining a discrete proximity graph and dual...
161
Voted
CSSC
2008
15 years 6 months ago
2008
The decorrelating property of the discrete wavelet transformation (DWT) appears valuable because one can avoid estimating the correlation structure in the original data space by b...
197
click to vote
DSP
2006
15 years 6 months ago
2006
Cross correlation function (CCF) of signals is an important tool of multi-sensors signal processing. Parabola functions are commonly used as parametric models of the CCF in time d...
169
click to vote
CAD
2007
Springer
15 years 6 months ago
2007
Springer
The swept volume of a moving solid is a powerful computational and visualization concept. It provides an excellent aid for path and accessibility planning in robotics and for simu...
166
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— We use statistical estimates of the entropy rate of spike train data in order to make inferences about the underlying structure of the spike train itself. We first examine a n...