10633 search results - page 1539 / 2127 » Relating Distributed Objects |
188
click to vote
CADE
1998
Springer
15 years 9 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
140
click to vote
FOSSACS
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
124
Voted
ICCAD
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper presents a novel approach for post-mapping optimization. We exploit the concept of generalized matching, a technique that nds symbolically all possible matching assignm...
173
click to vote
ISWC
1997
IEEE
15 years 9 months ago
1997
IEEE
We propose a practical application of wearable computing and augmented reality which enhances the game of billiards. A vision algorithm is implemented which operates in interactiv...
127
click to vote
UIST
1997
ACM
15 years 9 months ago
1997
ACM
Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring th...