741 search results - page 15 / 149 » Steps towards C C: A Language for Interactions |
147
click to vote
LISP
2002
15 years 5 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
154
click to vote
HPDC
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes work in progress to develop a standard for interoperability among high-performance scientific components. This research stems from growing recognition that th...
156
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
This paper addresses a major weakness of current technologies for the Semantic Web, namely the lack of a principled means to represent and reason about uncertainty. This not only h...
145
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
Hierarchical algorithms such as multigrid applications form an important cornerstone for scientific computing. In this study, we take a first step toward evaluating parallel lan...
166
click to vote
AIED
2009
Springer
16 years 19 days ago
2009
Springer
Identifying effective tutorial strategies is a key problem for tutorial dialogue systems research. Ongoing work in human-human tutorial dialogue continues to reveal the complex phe...