2416 search results - page 31 / 484 » The design and implementation of typed scheme |
BIRTHDAY
2010
Springer
13 years 8 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...
ESANN
2004
13 years 10 months ago
2004
Spiking neurons model a type of biological neural system where information is encoded with spike times. In this paper, a new method for decoding input spikes according to their abs...
ISLPED
2010
ACM
13 years 8 months ago
2010
ACM
Booth encoding is believed to yield faster multiplier designs with higher energy consumption. 16x16-bit Booth and NonBooth multipliers are analyzed in energy and delay space under...
LCN
2003
IEEE
14 years 1 months ago
2003
IEEE
In this contribution we present a new type of mobility management for IP-based networks that, contrary to conventional approaches, does not focus on the network layer, but on the ...
ICIP
2004
IEEE
14 years 10 months ago
2004
IEEE
We propose the use of polyharmonic B-splines to build non-separable two-dimensional wavelet bases. The central idea is to base our design on the isotropic polyharmonic B-splines, ...