898 search results - page 28 / 180 » A Linear Tabling Mechanism |
IBPRIA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The extraction of reliable features is a key issue for autonomous underwater vehicle navigation. Imaging sonars can produce acoustic images of the surroundings of the veh...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
Multi-input addition is an important operation for many DSP and video processing applications. On FPGAs, multi-input addition has traditionally been implemented using trees of car...
FPT
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes a class of FPGA-specific uniform random number generators with a 2k −1 length period, which can provide k random bits per-cycle for the cost of k Lookup Ta...
MOC
2000
13 years 7 months ago
2000
Conservative linear equations arise in many areas of application, including continuum mechanics or high-frequency geometrical optics approximations. This kind of equation admits mo...
MKM
2007
Springer
14 years 1 months ago
2007
Springer
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...