2501 search results - page 354 / 501 » Logics with Rank Operators |
152
click to vote
ACRI
2004
Springer
15 years 10 months ago
2004
Springer
This paper discusses a class of 2-dimensional asynchronous cellular automata with conservation of mass, for the formation of patterns in groups. The previous study reported a metho...
111
click to vote
ARCS
2004
Springer
15 years 10 months ago
2004
Springer
: We investigated different parallel SIMD (single instruction multiple data) architectures based on pure programmable and reconfigurable approaches for their appropriateness for in...
139
click to vote
CP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...
144
click to vote
DEXA
2004
Springer
15 years 10 months ago
2004
Springer
Although many spatio-temporal conceptual models has been proposed in the last years, users must express their queries on the underlying physical data structures. In the context of ...
130
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...