7121 search results - page 307 / 1425 » Functions as Session-Typed Processes |
164
click to vote
JOCN
2010
15 years 5 months ago
2010
■ Although many examples exist for shared neural representations of self and other, it is unknown how such shared representations interact with the rest of the brain. Furthermor...
224
click to vote
FORTE
2009
15 years 4 months ago
2009
Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in this paper. The language has the structure and feel of...
220
click to vote
SIAMSC
2011
15 years 1 months ago
2011
Given a certain function f, various methods have been proposed in the past for addressing the important problem of computing the matrix-vector product f(A)b without explicitly comp...
152
click to vote
ICIP
1999
IEEE
16 years 8 months ago
1999
IEEE
In this report, a digital image data compression method which has two modes ? "losslesss" mode and "lossy" mode ? and also "progressive" functionalit...
173
click to vote
Source Code
Built upon the Qt library, the QVision is an image processing and computer vision library. It offers a set of image processing and matrix, vector and tensor algebra functions, unde...