2395 search results - page 292 / 479 » Reasoning in Semantic Wikis |
173
click to vote
CSFW
2005
IEEE
16 years 23 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,...
194
click to vote
LICS
2005
IEEE
16 years 22 days ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
173
click to vote
LICS
2005
IEEE
16 years 22 days ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
176
click to vote
LICS
2005
IEEE
16 years 22 days ago
2005
IEEE
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
211
click to vote
LACL
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not li...