4224 search results - page 471 / 845 » Reasoning about Choice |
176
click to vote
APLAS
2006
ACM
16 years 25 days ago
2006
ACM
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
180
click to vote
IUI
2006
ACM
16 years 24 days ago
2006
ACM
We present an interactive multimedia interface for automatically summarizing large corpora of evaluative text (e.g. online product reviews). We rely on existing techniques for ext...
160
click to vote
CSFW
2005
IEEE
16 years 14 days ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...
156
click to vote
ENC
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
191
click to vote
ISORC
2005
IEEE
16 years 13 days ago
2005
IEEE
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...