Sciweavers

2496 search results - page 178 / 500
» Error-detecting properties of languages
Sort
View
IFIP
2004
Springer
15 years 9 months ago
Pattern-Matching Spi-Calculus
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...
Christian Haack, Alan Jeffrey
IJCNLP
2004
Springer
15 years 9 months ago
Visual Semantics and Ontology of Eventive Verbs
Various English verb classifications have been analyzed in terms of their syntactic and semantic properties, and conceptual components, such as syntactic valency, lexical semantics...
Minhua Ma, Paul McKevitt
PADL
2004
Springer
15 years 9 months ago
An Algebraic Theory of Polymorphic Temporal Media
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
Paul Hudak
TAL
2004
Springer
15 years 9 months ago
Ontology-Based Feature Transformations: A Data-Driven Approach
Abstract. We present a novel approach to incorporating semantic information to the problems of natural language processing, in particular to the document classification task. The ...
Filip Ginter, Sampo Pyysalo, Jorma Boberg, Jouni J...
AUIC
2003
IEEE
15 years 9 months ago
Keg Master: a Graph-Aware Visual Editor for 3D Graphs
This paper presents Keg Master, a graph-aware visual editor for 3D graphs. Keg Master is novel in that it works with a graph description language as opposed to a scene graph descr...
Hannah Slay, Matthew Phillips, Bruce H. Thomas, Ru...