3806 search results - page 170 / 762 » The Power of Process |
167
click to vote
QEST
2008
IEEE
16 years 13 days ago
2008
IEEE
Magnifying Lens Abstraction in Markov Decision Processes ∗ Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA ...
152
click to vote
IMAGING
2003
15 years 7 months ago
2003
The use of an Interim Connection Space (ICS) is proposed as a means for extending the concept of device independent color management to support spectral imaging. Color management,...
193
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
179
Voted
IANDC
2006
15 years 6 months ago
2006
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...
172
click to vote
VLSISP
2008
15 years 6 months ago
2008
Data dominated signal processing applications are typically described using large and multi-dimensional arrays and loop nests. The order of production and consumption of array ele...