1511 search results - page 26 / 303 » Relational Parametricity for Computational Effects |
157
Voted
FOSSACS
2004
Springer
15 years 7 months ago
2004
Springer
In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In t...
130
click to vote
TMI
2010
15 years 2 months ago
2010
Abstract— We compared four automated methods for hippocampal segmentation using different machine learning algorithms (1) hierarchical AdaBoost, (2) Support Vector Machines (SVM)...
CAD
2004
Springer
15 years 3 months ago
2004
Springer
A computer modeling approach for constructing a three-dimensional microsphere-packed bone graft structure is presented. The modeling approach consists of both geometric and CAD-ba...
158
click to vote
ACL
2011
14 years 7 months ago
2011
We present a simple semi-supervised relation extraction system with large-scale word clustering. We focus on systematically exploring the effectiveness of different cluster-based ...
125
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
In this paper we describe an on-going experiment on the calming effects of a relational agent on users following a social bonding interaction. Applications to a range of health ca...