24421 search results - page 4413 / 4885 » Communicating Complex Systems |
178
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...
251
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...
176
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...
228
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...
168
click to vote
SIGGRAPH
1994
ACM
15 years 11 months ago
1994
ACM
This paper describes the principles of traditional pen-and-ink illustration, and shows how a great number of them can be implemented as part of an automated rendering system. It i...