6274 search results - page 207 / 1255 » Proofs, Programs, Processes |
145
click to vote
WEBI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we particularly focused our attention on how to enhance expressivity of ontologies when used as organized space values in a catalogue request process. Using the Wis...
145
click to vote
HPDC
1996
IEEE
15 years 10 months ago
1996
IEEE
A universal spatial automaton, called WAVE, for highly parallel processing in arbitrary distributed systems is described. The automaton is based on a virus principle where recursi...
138
click to vote
ICALP
1997
Springer
15 years 10 months ago
1997
Springer
We propose a general approach for defining behavioural preorders over process terms as the maximal pre–congruences induced by basic observables. We will consider three of these...
161
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
New emerging embedded system platforms in the realm of highthroughput multimedia, imaging, and signal processing will consist of multiple microprocessors and reconfigurable compon...
138
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. There are many examples of intelligent and learning systems that are based either on the connectionist or the symbolic approach. Although the latter can be successfully c...