4485 search results - page 503 / 897 » Equivalences on Observable Processes |
170
click to vote
CLUSTER
2004
IEEE
15 years 10 months ago
2004
IEEE
Grid computing brings with it additional complexities and unexpected failures. Just keeping track of our jobs traversing different grid resources before completion can at times be...
207
click to vote
DAGM
2006
Springer
15 years 10 months ago
2006
Springer
In the heart of the computer model of visual attention, an interest or saliency map is derived from an input image in a process that encompasses several data combination steps. Whi...
183
click to vote
LCPC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Processing and analyzing large volumes of data plays an increasingly important role in many domains of scienti c research. We are developing a compiler which processes da...
160
click to vote
DEXA
1995
Springer
15 years 10 months ago
1995
Springer
To support applications, such as efficient browsing in large knowledge bases and cooperative knowledge discovery in large databases, the concept of rule similarity is essential. In...
211
click to vote
TAPSOFT
1991
Springer
15 years 10 months ago
1991
Springer
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...