6279 search results - page 302 / 1256 » Objects as session-typed processes |
222
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...
180
click to vote
IICS
2005
Springer
16 years 8 days ago
2005
Springer
Internet, far from being a simple technology, is truly changing our way of life. Just as the invention of the alphabet, or the printing, Internet is a fundamental technology that w...
169
click to vote
AMAI
2004
Springer
16 years 5 days ago
2004
Springer
The majority of the work in the area of Markov decision processes has focused on expected values of rewards in the objective function and expected costs in the constraints. Althou...
177
click to vote
GIS
2007
ACM
15 years 10 months ago
2007
ACM
Spatial join is an important yet costly operation in spatial databases. In order to speed up the execution of a spatial join, the input tables are often indexed based on their spa...
191
click to vote
ETVC
2008
15 years 8 months ago
2008
Abstract. This paper presents a framework to define an objective measure of the similarity (or dissimilarity) between two images for image processing. The problem is twofold: 1) de...