13977 search results - page 2427 / 2796 » Evolution in complex systems |
171
click to vote
ECAI
1994
Springer
15 years 11 months ago
1994
Springer
For large problems the ATMS often becomes the main resource consumer in any reasoning system. We propose an architecture (the 2vATMS) that combines the advantages of two techniques...
241
click to vote
FSTTCS
1993
Springer
15 years 11 months ago
1993
Springer
We investigate the complexity and approximability of some location problems when two distance values are specified for each pair of potential sites. These problems involve the se...
168
click to vote
ICLP
1993
Springer
15 years 11 months ago
1993
Springer
nt an abstract instruction set for a constraint solver over finite domains, which can be smoothly integrated in the WAM architecture. It is based on the use of a single primitive...
139
click to vote
IFIP
1994
Springer
15 years 11 months ago
1994
Springer
Development of a research project in Computer Science, integrating a considerable number of research institutions and about 1200 individual researchers all over a country with big...
221
click to vote
JELIA
1994
Springer
15 years 11 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...