8582 search results - page 211 / 1717 » Here or There |
130
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
stract setting. Then we instantiate this algorithm with specific partial orderings and functions to obtain specific constraint propagation algorithms. In particular, using the noti...
130
click to vote
DCG
2000
15 years 6 months ago
2000
It is possible to construct a figure in 3 dimensions which is combinatorially equivalent to a regular icosahedron, and whose faces are all congruent but not equilateral. Such icos...
177
click to vote
ENTCS
2000
15 years 6 months ago
2000
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...
143
click to vote
DAM
2002
15 years 6 months ago
2002
The virtual ant introduced by Langton [Physica D 22 (1986) 120] has an interesting behavior, which has been studied in several contexts. Here we give a construction to calculate a...
161
click to vote
INFORMATICALT
2000
15 years 6 months ago
2000
Abstract. The aim of the given paper is a development of the direct approach used for the estimation of parameters of a closed-loop discrete-time dynamic system in the case of addi...