598 search results - page 10 / 120 » Typing the Numeric Tower |
TVCG
2008
13 years 7 months ago
2008
While it is quite typical to deal with attributes of different data types in the visualization of heterogeneous, multivariate datasets, most existing techniques still focus on the ...
AMCS
2007
13 years 7 months ago
2007
We study a new Hermite type interpolating operator arising in a semi-lagrangian scheme for solving the Vlasov equation. Numerical results on uniform and adaptive grid are shown and...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
TR
2008
13 years 7 months ago
2008
Abstract--This paper gives a reliability sampling plan for progressively type I interval censored life tests when the lifetime follows the exponential distribution. We use the maxi...
JACM
2000
13 years 7 months ago
2000
A deterministic algorithm for computing a minimum spanning tree of a connected graph is presented. Its running time is O(m (m, n)), where is the classical functional inverse of Ack...