3238 search results - page 132 / 648 » On the Computational Interpretation of Negation |
132
click to vote
COMPUTING
1998
15 years 6 months ago
1998
We give some estimates related to nite element multilevel splittings and Sobolev norms of negative order. Basically, results for the positive order case are carried over by dualit...
188
click to vote
IMSCCS
2006
IEEE
16 years 14 days ago
2006
IEEE
Background: Tandem mass spectrometry has emerged as a cornerstone of high throughput proteomic studies owing in part to various high throughput search engines which are used to in...
150
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
Ambiguity is usually considered anathema in Human Computer Interaction. We argue, in contrast, that it is a resource for design that can be used to encourage close personal engage...
164
click to vote
CONCUR
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
177
click to vote
CAAP
1990
15 years 10 months ago
1990
One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: subtypings A 6 B are interpreted via conversion functions A B. ...