7121 search results - page 1149 / 1425 » Functions as Session-Typed Processes |
143
click to vote
EUSFLAT
2003
15 years 6 months ago
2003
Ultraprecision turning is a manufacturing process used to generate a high surface roughness in precision components, and its input-output relationships are highly nonlinear. Surfa...
164
Voted
MSV
2004
15 years 6 months ago
2004
Clustering is a prominent method in the data mining field. It is a discovery process that groups data such that intra cluster similarity is maximized and the inter cluster similar...
156
click to vote
NIPS
2001
15 years 6 months ago
2001
We show that states of a dynamical system can be usefully represented by multi-step, action-conditional predictions of future observations. State representations that are grounded...
191
Voted
IADIS
2003
15 years 6 months ago
2003
In an audience driven approach to website design, the requirements of the different audiences are modeled as separated tiny conceptual schemas comparable to views. This has severa...
132
click to vote
ICWS
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...