7121 search results - page 255 / 1425 » Functions as Session-Typed Processes |
162
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents a Service-Oriented Process Model (SOM) to build a web-services based process management system, called MIDAS that would support distributed Design and Manufact...
168
click to vote
IFL
2007
Springer
16 years 21 days ago
2007
Springer
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
171
click to vote
ISBI
2002
IEEE
15 years 11 months ago
2002
IEEE
The imaging process in a transmission electron microscope (TEM) produces a number of artifacts including the contrast transfer function (CTF) and envelope functions. In addition, ...
188
click to vote
ML
2002
ACM
15 years 6 months ago
2002
ACM
In this paper, we elaborate on the well-known relationship between Gaussian Processes (GP) and Support Vector Machines (SVM) under some convex assumptions for the loss functions. ...
184
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the "trusted-party paradigm," where the protocol execution is compar...