8874 search results - page 262 / 1775 » A New Implementation of Automath |
157
click to vote
AAECC
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. New algorithms are described and analysed for solving various problems associated with a large integer matrix: computing the Hermite form, computing a kernel basis, and s...
170
click to vote
FUZZY
2001
Springer
15 years 11 months ago
2001
Springer
In the paper a new approach to building a MOS threshold element and an arti cial neuron on its base is discussed. The implementability of the known MOS threshold elements is restri...
154
click to vote
IWQOS
2001
Springer
15 years 11 months ago
2001
Springer
We present and evaluate two experimental extensions to RSVP in terms of protocol specification and implementation. These extensions are targeted at apparent shortcomings of RSVP to...
161
click to vote
ROBOCUP
2001
Springer
15 years 11 months ago
2001
Springer
Position selection is a key task that must be carried out by a soccer-playing agent, but is often overlooked in favour of the more active tasks such as ball control. This paper exa...
170
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a methodology to retarget the technique of compiled simulation for Digital Signal Processors DSPs using the modeling language LISA. In the past, the principl...